Classifying toposes for first-order theories

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)

zbMATH Keywords

Grothendieck topos; geometric theory; classifying topos for an infinitary first-order theory; smallness condition for Lindenbaum algebras

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

18B25: Topoi

03C75: Other infinitary logic

Related Items

A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE, An elementary definability theorem for first order logic, \(\mathbb{T}\)-motives, 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