Stable generic structures

Annals of Pure and Applied Logic 79 (1):1-35 (1996)
  Copy   BIBTEX

Abstract

Hrushovski originated the study of “flat” stable structures in constructing a new strongly minimal set and a stable 0-categorical pseudoplane. We exhibit a set of axioms which for collections of finite structure with dimension function δ give rise to stable generic models. In addition to the Hrushovski examples, this formalization includes Baldwin's almost strongly minimal non-Desarguesian projective plane and several others. We develop the new case where finite sets may have infinite closures with respect to the dimension function δ. In particular, the generic structure need not be ω-saturated and so the argument for stability is significantly more complicated. We further show that these structures are “flat” and do not interpret a group.

Other Versions

No versions found

Links

PhilArchive

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

Ab initio generic structures which are superstable but not ω-stable.Koichiro Ikeda - 2012 - Archive for Mathematical Logic 51 (1-2):203-211.
A Note on Generic Projective Planes.Koichiro Ikeda - 2002 - Notre Dame Journal of Formal Logic 43 (4):249-254.
Constructing ω-stable structures: model completeness.John T. Baldwin & Kitty Holland - 2004 - Annals of Pure and Applied Logic 125 (1-3):159-172.
Ages of Expansions of ω-Categorical Structures.A. Ivanov & K. Majcher - 2007 - Notre Dame Journal of Formal Logic 48 (3):371-380.
Constructing ω-stable structures: Rank 2 fields.John T. Baldwin & Kitty Holland - 2000 - Journal of Symbolic Logic 65 (1):371-391.
A note on stability spectrum of generic structures.Yuki Anbo & Koichiro Ikeda - 2010 - Mathematical Logic Quarterly 56 (3):257-261.
CM-triviality and relational structures.Viktor Verbovskiy & Ikuo Yoneda - 2003 - Annals of Pure and Applied Logic 122 (1-3):175-194.
Interpreting structures of finite Morley rank in strongly minimal sets.Assaf Hasson - 2007 - Annals of Pure and Applied Logic 145 (1):96-114.
Simple generic structures.Massoud Pourmahdian - 2003 - Annals of Pure and Applied Logic 121 (2-3):227-260.

Analytics

Added to PP
2014-01-16

Downloads
103 (#490,257)

6 months
22 (#489,422)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

ℵ0-categorical structures with a predimension.David M. Evans - 2002 - Annals of Pure and Applied Logic 116 (1-3):157-186.
Strongly minimal Steiner systems I: Existence.John Baldwin & Gianluca Paolini - 2021 - Journal of Symbolic Logic 86 (4):1486-1507.
Model completeness of the new strongly minimal sets.Kitty Holland - 1999 - Journal of Symbolic Logic 64 (3):946-962.
Constructing ω-stable structures: Rank 2 fields.John T. Baldwin & Kitty Holland - 2000 - Journal of Symbolic Logic 65 (1):371-391.
First-order model theory of free projective planes.Tapani Hyttinen & Gianluca Paolini - 2021 - Annals of Pure and Applied Logic 172 (2):102888.

View all 40 citations / 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.
ℵ0-Categorical, ℵ0-stable structures.Gregory Cherlin, Leo Harrington & Alistair H. Lachlan - 1985 - Annals of Pure and Applied Logic 28 (2):103-135.
On generic structures.D. W. Kueker & M. C. Laskowski - 1992 - Notre Dame Journal of Formal Logic 33 (2):175-183.
The primal framework I.J. T. Baldwin & S. Shelah - 1990 - Annals of Pure and Applied Logic 46 (3):235-264.

View all 6 references / Add more references