A topological completeness theorem

DOI10.1007/s001530050116zbMath0924.03064OpenAlexW2070533360MaRDI QIDQ1283128

Carsten Butz

Publication date: 15 November 1999

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530050116

zbMATH Keywords

inverse imagecompletenesssheavesGrothendieck topossitegeometric theorygeometric morphismconservative modeldefinable open setspace of models

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Heyting algebras (lattice-theoretic aspects) (06D20) Topoi (18B25) Interpolation, preservation, definability (03C40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items (1)

Neighborhood-Sheaf Semantics for First-Order Modal Logic

This page was built for publication: A topological completeness theorem