Classifying toposes for first-order theories
From MaRDI portal
Publication:1382183
DOI10.1016/S0168-0072(97)00042-0zbMath0893.03027OpenAlexW2088933768MaRDI QIDQ1382183
Carsten Butz, Peter T. Johnstone
Publication date: 1 July 1998
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0168-0072(97)00042-0
Grothendieck toposgeometric theoryclassifying topos for an infinitary first-order theorysmallness condition for Lindenbaum algebras
Related Items (10)
Infinitary first-order categorical logic ⋮ Saturated models of intuitionistic theories ⋮ A topos for continuous logic ⋮ Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\) ⋮ A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE ⋮ A characterization theorem for geometric logic ⋮ \(\mathbb{T}\)-motives ⋮ An elementary definability theorem for first order logic ⋮ INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM ⋮ 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
This page was built for publication: Classifying toposes for first-order theories