Independence in generic incidence structures

DOI10.1017/JSL.2019.8zbMATH Open1468.03038arXiv1709.09626OpenAlexW3105334584MaRDI QIDQ5222534FDOQ5222534

Authors: Gabriel Conant, Alex Kruckman 

Publication date: 6 April 2020

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

Abstract: We study the theory $T_{m,n}$ of existentially closed incidence structures omitting the complete incidence structure $K_{m,n}$, which can also be viewed as existentially closed $K_{m,n}$-free bipartite graphs. In the case $m=n=2$, this is the theory of existentially closed projective planes. We give an $forallexists$-axiomatization of $T_{m,n}$, show that $T_{m,n}$ does not have a countable saturated model when $m,ngeq2$, and show that the existence of a prime model for $T_{2,2}$ is equivalent to a longstanding open question about finite projective planes. Finally, we analyze model theoretic notions of complexity for $T_{m,n}$. We show that $T_{m,n}$ is NSOP${}_1$, but not simple when $m,ngeq2$, and we show that $T_{m,n}$ has weak elimination of imaginaries but not full elimination of imaginaries. These results rely on combinatorial characterizations of various notions of independence, including algebraic independence, Kim independence, and forking independence.

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

Recommendations

• First-order model theory of free projective planes
• Stable generic structures
• On free constructions
• On the \(\forall \exists \)-theories of free projective planes
• K‐generic Projective Planes have Morley Rank Two or Infinity

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (10)

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

This page was built for publication: Independence in generic incidence structures

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