On generic structures with a strong amalgamation property

Journal of Symbolic Logic 74 (3):721-733 (2009)
  Copy   BIBTEX

Abstract

Let L be a finite relational language and α=(αR:R ∈ L) a tuple with 0 < αR ≤1 for each R ∈ L. Consider a dimension function $ \delta _\alpha (A) = \left| A \right| - \sum\limits_{R \in L} {\alpha {\mathop{\rm Re}\nolimits} R(A)} $ where each eR(A) is the number of realizations of R in A. Let $K_\alpha $ be the class of finite structures A such that $\delta _\alpha (X) \ge 0$ 0 for any substructure X of A. We show that the theory of the generic model of $K_\alpha $ is AE-axiomatizable for any α

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

On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.
The strict order property and generic automorphisms.Hirotaka Kikyo & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (1):214-216.
Model companions of theories with an automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
On reduction properties.Hirotaka Kikyo & Akito Tsuboi - 1994 - Journal of Symbolic Logic 59 (3):900-911.
Cylindric-relativised set algebras have strong amalgamation.I. Németi - 1985 - Journal of Symbolic Logic 50 (3):689-700.
The amalgamation property in normal open induction.Margarita Otero - 1992 - Notre Dame Journal of Formal Logic 34 (1):50-55.
A Note on Generic Projective Planes.Koichiro Ikeda - 2002 - Notre Dame Journal of Formal Logic 43 (4):249-254.

Analytics

Added to PP
2010-09-12

Downloads
25 (#598,332)

6 months
11 (#196,102)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On rational limits of Shelah–Spencer graphs.Justin Brody & M. C. Laskowski - 2012 - Journal of Symbolic Logic 77 (2):580-592.
On superstable generic structures.Koichiro Ikeda & Hirotaka Kikyo - 2012 - Archive for Mathematical Logic 51 (5-6):591-600.

Add more citations

References found in this work

Stable generic structures.John T. Baldwin & Niandong Shi - 1996 - Annals of Pure and Applied Logic 79 (1):1-35.
Analytic Zariski structures and the Hrushovski construction.Nick Peatfield & Boris Zilber - 2005 - Annals of Pure and Applied Logic 132 (2):127-180.
A Note on Generic Projective Planes.Koichiro Ikeda - 2002 - Notre Dame Journal of Formal Logic 43 (4):249-254.

Add more references