{"id":"arxiv/2605.06986","url":"https://arxiv.org/abs/2605.06986","tags":["math.LO"],"score":0,"title":"Definable groups and fields in t-minimal theories","domain":"math.LO","source":"arxiv","authors":["Will Johnson"],"reviews":0,"subject":"math.LO","summary":"Let $T$ be a theory which is t-minimal, meaning that with respect to some definable topology, a unary definable set $D \\subseteq M$ has non-empty interior iff it is infinite. If $K$ is a definable field in $T$, then $K$ is finite or \"large\" in the sense of Pop: any smooth algebraic curve $C$ over $K$ with at least one $K$-rational point has infinitely many $K$-rational points. We also assign a canonical topology to any abelian definable group $G$ 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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-07","reactions":{}}