A note on existentially t-henselian fields
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 $\mathbb{Z}$-largeness, which is a property identified in previous work with Fehm, and which holds for $F$ if and only if $tF[\![t]\!]$ is not Diophantine in $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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.27612
curl -X POST /api/v1/records/arxiv/2603.27612/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.27612/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'