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]

[img]
Preview
PDF
Download (149Kb) | Preview
    [img]
    Preview
    Postscript
    Download (128Kb) | Preview

      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:

      Item Type: Preprint
      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 11:10
      Item ID: 175
      URI: http://philsci-archive.pitt.edu/id/eprint/175

      Actions (login required)

      View Item

      Document Downloads