Strongly minimal Steiner systems I: Existence

Journal of Symbolic Logic 86 (4):1486-1507 (2021)
  Copy   BIBTEX

Abstract

A linear space is a system of points and lines such that any two distinct points determine a unique line; a Steiner k-system is a linear space such that each line has size exactly k. Clearly, as a two-sorted structure, no linear space can be strongly minimal. We formulate linear spaces in a vocabulary $\tau $ with a single ternary relation R. We prove that for every integer k there exist $2^{\aleph _0}$ -many integer valued functions $\mu $ such that each $\mu $ determines a distinct strongly minimal Steiner k-system $\mathcal {G}_\mu $, whose algebraic closure geometry has all the properties of the ab initio Hrushovski construction. Thus each is a counterexample to the Zilber Trichotomy Conjecture.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

DMP in Strongly Minimal Sets.Assaf Hasson & Ehud Hrushovski - 2007 - Journal of Symbolic Logic 72 (3):1019 - 1030.
Constructing ω-stable structures: model completeness.John T. Baldwin & Kitty Holland - 2004 - Annals of Pure and Applied Logic 125 (1-3):159-172.
Strongly minimal fusions of vector spaces.Kitty L. Holland - 1997 - Annals of Pure and Applied Logic 83 (1):1-22.
Interpreting structures of finite Morley rank in strongly minimal sets.Assaf Hasson - 2007 - Annals of Pure and Applied Logic 145 (1):96-114.
An exposition of Hrushovskiʼs New Strongly Minimal Set.Martin Ziegler - 2013 - Annals of Pure and Applied Logic 164 (12):1507-1519.
Pseudoprojective strongly minimal sets are locally projective.Steven Buechler - 1991 - Journal of Symbolic Logic 56 (4):1184-1194.
The ontological status of minimal entities.Luca Moretti - 2008 - Philosophical Studies 141 (1):97 - 114.
New spectra of strongly minimal theories in finite languages.Uri Andrews - 2011 - Annals of Pure and Applied Logic 162 (5):367-372.
One theorem of Zil′ber's on strongly minimal sets.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1054-1061.

Analytics

Added to PP
2020-10-23

Downloads
18 (#785,610)

6 months
8 (#292,366)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Strongly minimal Steiner systems I: Existence.John Baldwin & Gianluca Paolini - 2021 - Journal of Symbolic Logic 86 (4):1486-1507.
Towards a finer classification of strongly minimal sets.John T. Baldwin & Viktor V. Verbovskiy - 2024 - Annals of Pure and Applied Logic 175 (2):103376.

Add more citations

References found in this work

A new strongly minimal set.Ehud Hrushovski - 1993 - Annals of Pure and Applied Logic 62 (2):147-166.
Stable generic structures.John T. Baldwin & Niandong Shi - 1996 - Annals of Pure and Applied Logic 79 (1):1-35.
On Model-Completeness.Per Lindström - 1964 - Theoria 30 (3):183-196.
Strongly minimal Steiner systems I: Existence.John Baldwin & Gianluca Paolini - 2021 - Journal of Symbolic Logic 86 (4):1486-1507.
Model theory of Steiner triple systems.Silvia Barbina & Enrique Casanovas - 2019 - Journal of Mathematical Logic 20 (2):2050010.

View all 7 references / Add more references