De Morgan classifying toposes

DOI10.1016/J.AIM.2009.07.009zbMATH Open1183.18003arXiv0808.1519OpenAlexW2963184861MaRDI QIDQ1034091FDOQ1034091

Authors: Olivia Caramello 

Publication date: 10 November 2009

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

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.

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

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

zbMATH Keywords

Grothendieck toposgeometric theoryclassifying toposBoolean toposDe Morgan topos

Mathematics Subject Classification ID

Topoi (18B25)

Cites Work

• Sheaves in geometry and logic: a first introduction to topos theory
• Title not available (Why is that?)
• Classifying topoi and finite forcing
• Yoneda representations of flat functors and classifying toposes

Cited In (17)

• Fraïssé's construction from a topos-theoretic perspective
• Atomic toposes and countable categoricity
• Title not available (Why is that?)
• Universal models and definability
• Hilbert's Nullstellensatz revisited
• Topologies for intermediate logics
• Theories of presheaf type
• The Unification of Mathematics via Topos Theory
• Title not available (Why is that?)
• Ultrafilters, finite coproducts and locally connected classifying toposes
• Title not available (Why is that?)
• Title not available (Why is that?)
• De Morgan's law and the theory of fields
• On toposes generated by cardinal finite objects
• Title not available (Why is that?)
• On infinite variants of De Morgan law in locale theory
• What do Freyd's toposes classify?

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)