First-order model theory of free projective planes

DOI10.1016/J.APAL.2020.102888MaRDI QIDQ2216032zbMATH OpenOpenAlexFDO

Authors Tapani Hyttinen, Gianluca Paolini

Publication date 15 December 2020

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1811.03351

zbMATH Keywords

elementary equivalencefree projective planesopen projective planesprime models

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Classification theory, stability, and related concepts in model theory (03C45) Models of other mathematical theories (03C65) Non-Desarguesian affine and projective planes (51A35) Finite affine and projective planes (geometric aspects) (51E15)

Abstract: 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 $(p{i}^n:4leqnleqomega)$ 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 in particular that $(p{i}^n:4leqnleqomega)$ is an elementary chain. We then prove that the theory of open projective planes does not have a prime model, that it has elimination of quantifiers down to Boolean combinations of existential formulas, and that it is not model complete. Finally, we characterize the forking independence relation in models of the theory and prove that the $p{i}^n$'s ($4leqnleqomega)$ are strongly type-homogeneous.

Recommendations

• On the -theories of free projective planes
• On free constructions
• Independence in generic incidence structures
• scientific article; zbMATH DE number 749964
• K‐generic Projective Planes have Morley Rank Two or Infinity

Cites work

• A characterization of free projective planes
• A New Kind of Free Extension for Projective Planes
• Beyond abstract elementary classes: on the model theory of geometric lattices
• Building-like geometries of finite Morley rank
• Categoricity in multiuniversal classes
• Endliche Spiegelungsgruppen, die als Weylgruppen auftreten
• Forbidden substructures and combinatorial dichotomies: WQO and universality
• Fraïssé structures with universal automorphism groups
• Free polygons, twin trees, and \(\mathrm{CAT}(1)\)-spaces
• Freie und offene projektive Ebenen
• Generalization of a theorem due to Kopejkina
• scientific article; zbMATH DE number 195120 (Why is no real title available?)
• scientific article; zbMATH DE number 743695 (Why is no real title available?)
• scientific article; zbMATH DE number 749964 (Why is no real title available?)
• scientific article; zbMATH DE number 3421490 (Why is no real title available?)
• scientific article; zbMATH DE number 3105287 (Why is no real title available?)
• Hyperfree extensions
• On free constructions
• On model theory of covers of algebraically closed fields
• On Subplanes of Free Planes
• On subplanes of free planes
• Projective Planes
• Stable generic structures
• The Collineation Groups of Free Planes
• The free pseudospace is \(N\)-ample, but not \((N + 1)\)-ample
• The group of projectivities in free-like geometries

Cited in

(8)

• Undecidability of the theory of projective planes
• On the -theories of free projective planes
• Systems of Diophantine equations over finite configurations
• scientific article; zbMATH DE number 4041890 (Why is no real title available?)
• STRONGLY MINIMAL STEINER SYSTEMS I: EXISTENCE
• Independence in generic incidence structures
• On the model theory of open generalized polygons
• Model theory of projective spaces

This page was built for publication: First-order model theory of free projective planes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2216032)