Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1520

Preprint Number 1520

Previous Next Preprint server

1520. Tapani Hyttinen, Gianluca Paolini
First-Order Model Theory of Free Projective Planes: Part I

Submission date: 8 November 2018


We prove that the theory of open projective planes is complete and strictly stable, and infer from this that Marshall Hall's free projective planes (π^n:4 ≤ n ≤ ω) are all elementary equivalent and that their common theory is strictly stable and decidable, being in fact the theory of open projective planes. We further characterize the elementary substructure relation in the class of open projective planes, and show that (πn:4 ≤ n ≤ ω) is an elementary chain. We then prove that for every infinite cardinality κ there are 2^κ non-isomorphic open projective planes of power κ, improving known results on the number of open projective planes. Finally, we characterise the forking independence relation in models of the theory and prove that π^ω is strongly type-homogeneous.

Mathematics Subject Classification:

Keywords and phrases: 03C45, 51E15

Full text arXiv 1811.03351: pdf, ps.

Last updated: December 6 2018 16:59 Please send your corrections to: