De Morgan's law and the theory of fields (Q1034092)

From MaRDI portal
Revision as of 01:58, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
De Morgan's law and the theory of fields
scientific article

    Statements

    De Morgan's law and the theory of fields (English)
    0 references
    0 references
    0 references
    10 November 2009
    0 references
    This note is a tailpiece to a recent paper [\textit{O. Caramello}, ibid. 222, No. 6, 2117--2144 (2009; Zbl 1183.18003)] of the first author, in which necessary and sufficient conditions were given for the classifying topos of a geometric theory to satisfy De Morgan's law. In this paper the authors show that the classifying topos for the theory of fields does not satisfy De Morgan's law and they identify its largest dense De Morgan subtopos as the classifying topos for the theory of fields of nonzero characteristic which are algebraic over their prime fields.
    0 references
    classifying topos
    0 references
    De Morgan's law
    0 references
    theory of fields
    0 references

    Identifiers