De Morgan classifying toposes (Q1034091): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
Property / OpenAlex ID
 
Property / OpenAlex ID: W2963184861 / rank
 
Normal rank

Revision as of 19:13, 19 March 2024

scientific article
Language Label Description Also known as
English
De Morgan classifying toposes
scientific article

    Statements

    De Morgan classifying toposes (English)
    0 references
    0 references
    10 November 2009
    0 references
    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}.
    0 references
    De Morgan topos
    0 references
    classifying topos
    0 references
    Grothendieck topos
    0 references
    geometric theory
    0 references
    Boolean topos
    0 references

    Identifiers