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

Preview	PDF clc.pdf Download (152kB)
Preview	Postscript clc.ps Download (131kB)

Abstract

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
Creators:	Creators Email ORCID 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
URI:	https://philsci-archive.pitt.edu/id/eprint/175

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item