De Morgan's law and the theory of fields (Q1034092)
From MaRDI portal
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
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