English

Homogeneity of abstract linear spaces

Logic 2022-05-27 v1

Abstract

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\aleph_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.

Keywords

Cite

@article{arxiv.2205.13498,
  title  = {Homogeneity of abstract linear spaces},
  author = {Wiesław Kubiś and Piotr Nowakowski and Tomasz Rzepecki},
  journal= {arXiv preprint arXiv:2205.13498},
  year   = {2022}
}

Comments

21 pages