Topological Completeness for Higher-Order Logic
AbstractUsing 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.
How to Cite
Awodey, S., & Butz, C. (1997). Topological Completeness for Higher-Order Logic. BRICS Report Series, 4(21). https://doi.org/10.7146/brics.v4i21.18947
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.