Is the theory of the field of Laurent series over $\mathbb{Z}_p$ decidable? of the field of polynomials over $\mathbb{C}$

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.