INDEPENDENCE IN GENERIC INCIDENCE STRUCTURES
From MaRDI portal
Publication:5222534
DOI10.1017/jsl.2019.8zbMath1468.03038arXiv1709.09626OpenAlexW3105334584MaRDI QIDQ5222534
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
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