Topological completeness for higher-order logic
Journal of Symbolic Logic 65 (3):1168-1182 (2000)
| Abstract | Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces- so -called "topological semantics." The first is classical higher-order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Configure |
Similar books and articlesSteve Awodey & Erich H. Reck (2002). Completeness and Categoricity. Part I: Nineteenth-Century Axiomatics to Twentieth-Century Metalogic. History and Philosophy of Logic 23 (1):1-30.
Tomasz Połacik (1998). Propositional Quantification in the Monadic Fragment of Intuitionistic Logic. Journal of Symbolic Logic 63 (1):269-300.
Steve Awodey & Erich H. Reck (2002). Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-First-Century Semantics. History and Philosophy of Logic 23 (2):77-94.
Christoph Benzmüller, Chad E. Brown & Michael Kohlhase (2004). Higher-Order Semantics and Extensionality. Journal of Symbolic Logic 69 (4):1027 - 1088.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads29 ( #43,142 of 556,888 )Recent downloads (6 months)1 ( #64,931 of 556,888 )How can I increase my downloads? |
My notes
Discussion
