{"id":"arxiv/2610.14417","url":"https://arxiv.org/abs/2610.14417","tags":["math.LO","math.AC"],"score":0,"title":"A Nullstellensatz for the field of complex Laurent series","domain":"math.LO","source":"arxiv","authors":["Pablo Cubides Kovacsics","Sebastián Uribe Rincón"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-10","reactions":{}}