1 problem

Let $\mathcal{K}=\Braket{K,+,\cdot,<,\dots}$ be a definably complete expansion of a real closed field. The pigeonhole principle conjecture. $\mathcal{K}$ has the pigeonhole princip…