Geometric and higher order logic in terms of abstract Stone duality.

Taylor, Paul

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

The search session has expired. Please query the service again.

Displaying similar documents to “Geometric and higher order logic in terms of abstract Stone duality.”

Sober spaces and continuations.

Taylor, Paul (2002)

Theory and Applications of Categories [electronic only]

Similarity:

Subspaces in abstract Stone duality.

Taylor, Paul (2002)

Theory and Applications of Categories [electronic only]

Similarity:

Predicative algebraic set theory.

Awodey, Steve, Warren, Michael A. (2005)

Theory and Applications of Categories [electronic only]

Similarity:

Upsetting the foundations for mathematics

Lawrence Neff Stout (2005)

Philosophia Scientiae

Similarity:

Starting with a review of the kinds of questions a foundation for mathematics should address, this paper provides a critique of set theoretical foundations, a proposal that multiple interconnected categorical foundations would be an improvement, and a way of recovering set theory within a categorical approach.