Data di Pubblicazione:
2009
Abstract:
We show that the classifying topos for the theory of fields does not satisfy De Morgan's law, and we 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. © 2009 Elsevier Inc. All rights reserved.
Tipologia CRIS:
Articolo su Rivista
Keywords:
Classifying topos; De Morgan's law; Theory of fields; Mathematics (all)
Elenco autori:
Caramello, Olivia; Johnstone, Peter
Link alla scheda completa:
Pubblicato in: