INDEPENDENCE IN GENERIC INCIDENCE STRUCTURES

DOI10.1017/jsl.2019.8zbMath1468.03038arXiv1709.09626OpenAlexW3105334584MaRDI QIDQ5222534

Alex Kruckman, Gabriel Conant

Publication date: 6 April 2020

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

projective planesbipartite graphsforkingindependence relations\(\mathrm{NSOP}_1\)

Mathematics Subject Classification ID

Finite affine and projective planes (geometric aspects) (51E15) Classification theory, stability, and related concepts in model theory (03C45) Properties of classes of models (03C52) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10) Other finite incidence structures (geometric aspects) (51E30)

Related Items

Strongly minimal Steiner systems. II: Coordinatization and quasigroups, Generic expansion of an abelian variety by a subgroup, Model theory of Steiner triple systems, Extending partial projective planes, Countable homogeneous Steiner triple systems avoiding specified subsystems, FORKING, IMAGINARIES, AND OTHER FEATURES OF, Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories, STRONGLY MINIMAL STEINER SYSTEMS I: EXISTENCE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model theoretic properties of the Urysohn sphere
• Embedding finite partial linear spaces in finite translation nets
• \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
• Model theory.
• Forcing, arithmetic, division rings
• Generic structures and simple theories
• Simple theories
• Forking and dividing in Henson graphs
• Toward classifying unstable theories
• Disjoint \(n\)-amalgamation and pseudofinite countably categorical theories
• Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories
• On model-theoretic tree properties
• A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING
• An Almost Strongly Minimal Non-Desarguesian Projective Plane
• Model theory of Steiner triple systems
• Imaginaries, invariant types and pseudo \(p\)-adically closed fields
• Projective Planes
• A family of countable homogeneous graphs