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