Classifying toposes for first-order theories

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

zbMATH Keywords

Grothendieck toposgeometric theoryclassifying topos for an infinitary first-order theorysmallness condition for Lindenbaum algebras

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Other infinitary logic (03C75)

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