Definable groups and fields in t-minimal theories
Logic
2026-05-11 v1
Abstract
Let be a theory which is t-minimal, meaning that with respect to some definable topology, a unary definable set has non-empty interior iff it is infinite. If is a definable field in , then is finite or "large" in the sense of Pop: any smooth algebraic curve over with at least one -rational point has infinitely many -rational points. We also assign a canonical topology to any abelian definable group in a t-minimal theory. In the case where the t-minimal theory is "visceral" in the sense of Dolich and Goodrick, meaning that the definable topology is induced by a definable uniformity, we can drop the assumption of abelianity of , and the resulting topology on is a definable manifold in the style of Acosta L\'opez and Hasson.
Keywords
Cite
@article{arxiv.2605.06986,
title = {Definable groups and fields in t-minimal theories},
author = {Will Johnson},
journal= {arXiv preprint arXiv:2605.06986},
year = {2026}
}
Comments
50 pages