905 research outputs found
Uniform definability of henselian valuation rings in the Macintyre language
We discuss definability of henselian valuation rings in the Macintyre
language , the language of rings expanded by n-th power
predicates. In particular, we show that henselian valuation rings with finite
or Hilbertian residue field are uniformly --definable in
, and henselian valuation rings with value group
are uniformly --definable in the ring
language, but not uniformly --definable in
. We apply these results to local fields
and , as well as to higher dimensional local fields
De Morgan's law and the theory of fields
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
- …