De Morgan classifying toposes

DOI10.1016/J.AIM.2009.07.009MaRDI QIDQ1034091zbMATH OpenOpenAlexFDO

Authors Olivia Caramello

Publication date 10 November 2009

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0808.1519

zbMATH Keywords

Boolean toposclassifying toposDe Morgan toposgeometric theoryGrothendieck topos

Mathematics Subject Classification ID

Topoi (18B25)

Abstract: We present a general method for deciding whether a Grothendieck topos satisfies De Morgan's law (resp. the law of excluded middle) or not; applications to the theory of classifying toposes follow. Specifically, we obtain a syntactic characterization of the class of geometric theories whose classifying toposes satisfy De Morgan's law (resp. are Boolean), as well as model-theoretic criteria for theories whose classifying toposes arise as localizations of a given presheaf topos.

Review text

This paper solves the long-standing question of characterizing the class of geometric theories classified by De Morgan or Boolean topoi, by providing complete syntactic characterizations for both these classes of theories. The paper consists of six sections, the third of which gives a simplified method for a Grothendieck topos to be De Morgan or Boolean, constituting the highlight of the paper. The paper also gives model-theoretic criteria for theories whose topoi arise as localizations of a given presheaf topos. The paper concludes with a detailed analysis of some examples, and an analysis of the theory of fields in relation to De Morgan's law is carried out in the joint paper [Adv. Math. 222, No.~6, 2145--2152 (2009; Zbl 1181.18003)] with \textit{P. Johnstone}.

Recommendations

• scientific article; zbMATH DE number 426294
• scientific article; zbMATH DE number 4049850
• De Morgan's law and the theory of fields
• A characterization theorem for geometric logic
• Classifying toposes for first-order theories

Cites work

• Classifying topoi and finite forcing
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• Sheaves in geometry and logic: a first introduction to topos theory
• Yoneda representations of flat functors and classifying toposes

Cited in

(25)

• De Morgan's law and the theory of fields
• Hilbert's Nullstellensatz revisited
• The Lee identities in topoi. I
• Classifying toposes for first-order theories
• Ultrafilters, finite coproducts and locally connected classifying toposes
• On infinite variants of De Morgan law in locale theory
• Fraïssé's construction from a topos-theoretic perspective
• Conditions equivalent to De Morgan's law for \(M\)-sets.
• Topologies for intermediate logics
• scientific article; zbMATH DE number 426294 (Why is no real title available?)
• Universal models and definability
• scientific article; zbMATH DE number 3843977 (Why is no real title available?)
• scientific article; zbMATH DE number 4049850 (Why is no real title available?)
• scientific article; zbMATH DE number 4055851 (Why is no real title available?)
• What do Freyd's toposes classify?
• Notes on the model theory of DeMorgan logics
• scientific article; zbMATH DE number 672108 (Why is no real title available?)
• On toposes generated by cardinal finite objects
• Theories of presheaf type
• The Unification of Mathematics via Topos Theory
• A characterization theorem for geometric logic
• Decidable objects and molecular toposes
• Local operators in topos theory and separation of semi-classical axioms in intuitionistic arithmetic
• The DeMorganization of a locale
• Atomic toposes and countable categoricity

This page was built for publication: De Morgan classifying toposes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1034091)