English

A note on existentially t-henselian fields

Logic 2026-04-02 v3

Abstract

A field is existentially t-henselian if it is has the same existential theory in the first-order language of rings as a field that admits a nontrivial henselian valuation. This property turns out to be equivalent to Z\mathbb{Z}-largeness, which is a property identified in previous work with Fehm, and which holds for FF if and only if tF[ ⁣[t] ⁣]tF[\![t]\!] is not Diophantine in F( ⁣(t) ⁣)F(\!(t)\!), without extra constants. In this short note, we further investigate this property in order to count the number of existential theories of henselian valuations on a given field, and to find other characterizations of existential t-henselianity.

Keywords

Cite

@article{arxiv.2603.27612,
  title  = {A note on existentially t-henselian fields},
  author = {Sylvy Anscombe},
  journal= {arXiv preprint arXiv:2603.27612},
  year   = {2026}
}

Comments

Submitted to the proceedings of the conference "DDG40 : Structures alg\'ebriques et ordonn\'ees", held at Banyuls-sur-Mer in August 2025. Added a reference, corrected typos and other small errors

R2 v1 2026-07-01T11:42:47.319Z