Classifying toposes for first-order theories
From MaRDI portal
Publication:1382183
DOI10.1016/S0168-0072(97)00042-0zbMath0893.03027MaRDI QIDQ1382183
Carsten Butz, Peter T. Johnstone
Publication date: 1 July 1998
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Grothendieck topos; geometric theory; classifying topos for an infinitary first-order theory; smallness condition for Lindenbaum algebras
Related Items
An elementary definability theorem for first order logic, A characterization theorem for geometric logic, Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\), Saturated models of intuitionistic theories, Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Open maps of toposes
- Sheaves in geometry and logic: a first introduction to topos theory
- Infinitary propositional intuitionistic logic
- Change of base for toposes with generators
- Universal projective geometry via topos theory
- Completeness results for intuitionistic and modal logic in a categorical setting
- Boolean classifying topoi
- An extension of the Galois theory of Grothendieck
- La logique des topos
- Infinitary intuitionistic logic from a classical point of view
- Constructive Sheaf Semantics
- Minimal models of Heyting arithmetic
- Infinite Boolean polynomials I
- New proof of a theorem of Gaifman and Hales
- On the non-existence of free complete Boolean algebras