De Morgan's law and the theory of fields (Q1034092): Difference between revisions

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.