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

Random Galois extensions of Hilbertian fields

Let L be a Galois extension of a countable Hilbertian field K. Although L need not be Hilbertian, we prove that an abundance of large Galois subextensions of L/K are

Hilbertian fields and Galois representations

We prove a new Hilbertianity criterion for fields in towers whose steps are Galois with Galois group either abelian or a product of finite simple groups. We then apply this criterion to fields arising from Galois representations. In particular we settle a conjecture of Jarden on abelian varieties.Comment: 18 pages, accepted for publication in Journal f\"ur die reine und angewandte Mathemati

The existential theory of equicharacteristic henselian valued fields

We study the existential (and parts of the universal-existential) theory of equicharacteristic henselian valued fields. We prove, among other things, an existential Ax-Kochen-Ershov principle, which roughly says that the existential theory of an equicharacteristic henselian valued field (of arbitrary characteristic) is determined by the existential theory of the residue field; in particular, it is independent of the value group. As an immediate corollary, we get an unconditional proof of the decidability of the existential theory of Fq((t))