Existential fragments of theories of henselian valued fields
We study fragments of the existential theory of henselian valued fields with parameters. This includes the $\exists_n$-fragment in the equicharacteristic or unramified mixed characteristic case, the $\exists_n\exists_1$-fragment in the equicharacteristic case, and the $\exists_n$-fragment in the residue characteristic zero case. For example, we obtain an unconditional axiomatization (and thereby decidability) of the $\exists_3$-theory of $\mathbb{F}_{q}(\!(t)\!)$ in the language of valued fields with a parameter for $t$.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2601.17395
curl -X POST /api/v1/records/arxiv/2601.17395/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.17395/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'