arXiv subjects

Alexander Prestel

Publications and source records attributed to Alexander Prestel.

2 recordsLinked to original sources

arXiv2014

Uniform definability of henselian valuation rings in the Macintyre language

We discuss definability of henselian valuation rings in the Macintyre language $\mathcal{L}_{\rm Mac}$, 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 $\exists$-$\emptyset$-definable in $\mathcal{L}_{\rm Mac}$, and henselian valuation rings with value group $\mathbb{Z}$ are uniformly $\exists\forall$-$\emptyset$-definable in the ring language, but not uniformly $\exists$-$\emptyset$-definable in $\mathcal{L}_{\rm Mac}$. We apply these results to local fields $\mathbb{Q}_p$ and $\mathbb{F}_p((t))$, as well as to higher dimensional local fields.

math.AC↗

arXiv2014

Definable henselian valuation rings

We give model theoretic criteria for $\exists \forall$ and $\forall \exists$- formulas in the ring language to define uniformly the valuation rings $\mathcal{O}$ of models $(K, \mathcal{O})$ of an elementary theory $Σ$ of henselian valued fields. As one of the applications we obtain the existence of an $\exists \forall$-formula defining uniformly the valuation rings $\mathcal{O}$ of valued henselian fields $(K, \mathcal{O})$ whose residue class field $k$ is finite, pseudo-finite, or hilbertian. We also obtain $\forall \exists$-formulas $φ_2$ and $φ_4$ such that $φ_2$ defines uniformly $k[[t]]$ in $k((t))$ whenever $k$ is finite or the function field of a real or complex curve, and $φ_4$ does the job if $k$ is any number field.

math.AC↗