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

Open the “Model theory and formal languages” section on Wikipedia →

Source: List of unsolved problems in mathematics (CC BY-SA 4.0)