Topological completeness for higher-order logic

DOI10.2307/2586693MaRDI QIDQ4527916zbMATH OpenOpenAlexFDO

Authors Carsten Butz, Steve Awodey

Publication date 21 January 2002

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9707206

zbMATH Keywords

completeness theoremmodels for higher-order logicspatial topoi of sheaves on a topological spacetopological models

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

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.

Recommendations

• La logique des topos
• scientific article; zbMATH DE number 2152683
• scientific article; zbMATH DE number 4114627
• Completeness theorem for topological class models
• scientific article; zbMATH DE number 6302891

Cited in

(15)

• Hilbert's Nullstellensatz revisited
• Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\)
• Topology and completion in semantics. Workshop, Chartres, France, November 18--20, 1993
• Theory of completeness for logical spaces
• Sheaf representation of monoidal categories
• Mathesis Universalis and Homotopy Type Theory
• La logique des topos
• scientific article; zbMATH DE number 2152683 (Why is no real title available?)
• Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics
• scientific article; zbMATH DE number 3993822 (Why is no real title available?)
• scientific article; zbMATH DE number 4114627 (Why is no real title available?)
• Topo-logie
• scientific article; zbMATH DE number 6787689 (Why is no real title available?)
• scientific article; zbMATH DE number 6302891 (Why is no real title available?)
• Completeness theorem for topological class models

This page was built for publication: Topological completeness for higher-order logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4527916)