Model theory of Steiner triple systems

DOI10.1142/S0219061320500105zbMath1485.03082arXiv1805.06767MaRDI QIDQ5118051

Silvia Barbina, Enrique Casanovas

Publication date: 4 September 2020

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

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

zbMATH Keywords

Steiner triple systemsFraïssé limitmodel completenessprime model\( \mathrm{TP_2}\)\(\mathrm{NSOP_1}\)

Mathematics Subject Classification ID

Triple systems (05B07) Classification theory, stability, and related concepts in model theory (03C45) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

Strongly minimal Steiner systems. II: Coordinatization and quasigroups ⋮ Towards a finer classification of strongly minimal sets ⋮ Countable homogeneous Steiner triple systems avoiding specified subsystems ⋮ FORKING, IMAGINARIES, AND OTHER FEATURES OF ⋮ INDEPENDENCE IN GENERIC INCIDENCE STRUCTURES ⋮ STRONGLY MINIMAL STEINER SYSTEMS I: EXISTENCE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theories without the tree property of the second kind
• Triangle transitive Steiner triple systems
• Model theory.
• An orbit theorem for Steiner triple systems
• Infinite linear spaces
• On Kim-independence
• Sur la structure de certains systèmes triples de Steiner
• The completion of finite incomplete Steiner triple systems with applications to loop theory
• On model-theoretic tree properties
• On sparse countably infinite Steiner triple systems
• A Survey of Embedding Theorems for Steiner Systems
• Embedding Partial Steiner Triple Systems
• Simple unstable theories
• Local character of Kim-independence
• AN AXIOMATIC APPROACH TO FREE AMALGAMATION
• INDEPENDENCE IN GENERIC INCIDENCE STRUCTURES
• Forking and Dividing in NTP₂ theories