$\exists \mathbb{R}\subseteq \text{CH}$

Alex Meiburg

The existential theory of the reals asks whether polynomial constraints with integer coefficients have a real solution. We give a proof placing this problem in the counting hierarc…