De Morgan's law and the theory of fields (Q1034092)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5629231
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | De Morgan's law and the theory of fields |
scientific article; zbMATH DE number 5629231 |
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
0.881230354309082
0 references
0.8708059787750244
0 references
0.8487474918365479
0 references
