A Nullstellensatz for the field of complex Laurent series
Let $T$ be the theory of the valued field of complex Laurent series $\mathbb{C}(\!(t)\!)$ in the language of rings expanded by a constant for $t$ and by predicates for $n$-th powers. We introduce a $t$-adic analogue of Kochen's operator, namely $γ(x)=x/(1+tx^{2})$, and the associated Kochen ring $Λ_{L}$ of a field extension $L$ of a model $K$ of $T$. Our main result characterizes the field extensions of $K$ which embed into a model of $T$ (the formally $T$-adic} fields): $L$ is formally $T$-adic if and only if $1/t\notinΛ_{L}$. As an application we prove a Nullstellensatz for…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.14417
curl -X POST /api/v1/records/arxiv/2610.14417/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.14417/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'