2022/05/26 by Kubiś, Wiesław, Nowakowski, Piotr, Rzepecki, Tomasz
#51A05 #51A10 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2205.13498
We discuss homogeneity and universality issues in the theory of abstract linear spaces, namely, structures with points and lines satisfying natural axioms, as in Euclidean or projective geometry. We show that the two smallest projective planes (including the Fano plane) are homogeneous and, assuming the continuum hypothesis, there exists a universal projective plane of cardinality ℵ1 that is homogeneous with respect to its countable and finite projective subplanes. We also show that the existence of a generic countable linear space is equivalent to an old conjecture asserting that every finite linear space embeds into a finite projective plane.