Definable groups and fields in t-minimal theories
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.06986
curl -X POST /api/v1/records/arxiv/2605.06986/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.06986/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'