A Nullstellensatz for the field of complex Laurent series

Pablo Cubides Kovacsics, Sebastián Uribe Rincón

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 power…