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 Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Paper version not known
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
