MathDB1 problem
Geometric representation conjecture. The von Neumann example of a continuous geometry admits a geometric representation over an elementary extension of the reals.
Geometric representation conjecture. The von Neumann example of a continuous geometry admits a geometric representation over an elementary extension of the reals.