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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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

Ages of Expansions of ω-Categorical Structures.A. Ivanov & K. Majcher - 2007 - Notre Dame Journal of Formal Logic 48 (3):371-380.
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.
Ab initio generic structures which are superstable but not ω-stable.Koichiro Ikeda - 2012 - Archive for Mathematical Logic 51 (1):203-211.
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.
Constructing ω-stable structures: rank 2 fields.John T. Baldwin & Kitty Holland - 2000 - Journal of Symbolic Logic 65 (1):371-391.

Analytics

Added to PP
2014-01-16

Downloads
34 (#458,799)

6 months
14 (#253,070)

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 L. 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.
DOP and FCP in generic structures.John T. Baldwin & Saharon Shelah - 1998 - Journal of Symbolic Logic 63 (2):427-438.

View all 38 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.G. Cherlin, L. Harrington & A. 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