Topological completeness for higher-order logic

DOI10.2307/2586693zbMath0977.03010arXivmath/9707206OpenAlexW3022591960MaRDI QIDQ4527916

Carsten Butz, Steven 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 theoremtopological modelsmodels for higher-order logicspatial topoi of sheaves on a topological space

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Related Items (3)

Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\) ⋮ Mathesis Universalis and Homotopy Type Theory ⋮ Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics

Cites Work

• Unnamed Item

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