Geometric representation conjecture for the von Neumann continuous geometry

Let LL be the von Neumann example of a continuous geometry. A geometric representation of LL is a representation of the corresponding modular ortholattice by subspaces of a suitably orthogonal space. An elementary extension of the reals is a real closed field extending the real field in the relevant first-order language.

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

The source notes that this example is proatomic and asks how far the assertion extends to abstract continuous geometries. The status of the displayed assertion is not resolved in the source.

Sources & referencesView supporting material

Primary source

Christian Herrmann and Michael S. Roddy, “Proatomic modular ortholattices: Representation and equational theory”, arXiv:1501.02477 (2015).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.