English

Largeness and generalized t-henselianity

Logic 2025-08-22 v1 Commutative Algebra

Abstract

Let KK be a countable field. Then KK is large in the sense of Pop if and only if it admits a field topology which is "generalized t-henselian" (gt-henselian) in the sense of Dittmann, Walsberg, and Ye, meaning that the implicit function theorem holds for polynomials. Moreover, the \'etale open topology can be characterized in terms of the gt-henselian topologies on KK: a subset UKnU \subseteq K^n is open in the \'etale open topology if and only if it is open with respect to every gt-henselian topology on KK.

Keywords

Cite

@article{arxiv.2508.15362,
  title  = {Largeness and generalized t-henselianity},
  author = {Will Johnson},
  journal= {arXiv preprint arXiv:2508.15362},
  year   = {2025}
}

Comments

17 pages. Addendum to arXiv:2508.10886 [math.LO]

R2 v1 2026-07-01T04:59:41.829Z