1 problem

Main conjecture on expansions of the real field. An expansion of $(\mathbb{R},+,\cdot)$ by constructible sets defines a dense and codense subset of $\mathbb{R}$ if and only if it d…