Topological completeness for higher-order logic
From MaRDI portal
Publication:4527916
DOI10.2307/2586693zbMath0977.03010arXivmath/9707206OpenAlexW3022591960MaRDI QIDQ4527916
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
completeness theoremtopological modelsmodels for higher-order logicspatial topoi of sheaves on a topological space
Related Items
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