PhilSci Archive

Continuity and logical completeness: an application of sheaf theory and topoi

Awodey, Steve (2000) Continuity and logical completeness: an application of sheaf theory and topoi. [Preprint]


Download (152kB)

Download (131kB)


The notion of a continuously variable quantity can be regarded as a generalization of that of a particular (constant) quantity, and the properties of such quantities are then akin to, and derived from, the properties of constants. For example, the continuous, real-valued functions on a topological space behave like the field of real numbers in many ways, but instead form a ring. Topos theory permits one to apply this same idea to logic, and to consider continuously variable sets (sheaves). In this expository paper, such applications are explained to the non-specialist. Some recent results are mentioned, including a new completeness theorem for higher-order logic.

Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Awodey, Steve
Keywords: topos, topoi, sheaf theory, sheaves, category theory, categorical logic, logical completeness, higher-order logic, type theory
Subjects: Specific Sciences > Mathematics
Depositing User: Steve Awodey
Date Deposited: 03 Mar 2001
Last Modified: 07 Oct 2010 15:10
Item ID: 175
Subjects: Specific Sciences > Mathematics
Date: December 2000

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item