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

Grothendieck toposgeometric theoryclassifying toposBoolean toposDe Morgan 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.

Recommendations

• Publication:3137139
• Publication:3786613
• De Morgan's law and the theory of fields
• A characterization theorem for geometric logic
• Classifying toposes for first-order theories

Cites work

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

Cited in

(21)

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

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)