Journal of Symbolic Logic 74 (3):721-733 (2009)
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 α
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.2178/jsl/1245158082 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
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.
Citations of this work BETA
On Rational Limits of Shelah–Spencer Graphs.Justin Brody & M. C. Laskowski - 2012 - Journal of Symbolic Logic 77 (2):580-592.
The theories of Baldwin–Shi hypergraphs and their atomic models.Danul K. Gunatilleka - 2021 - Archive for Mathematical Logic 60 (7):879-908.
On Superstable Generic Structures.Koichiro Ikeda & Hirotaka Kikyo - 2012 - Archive for Mathematical Logic 51 (5-6):591-600.
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.
Logical Matrices and the Amalgamation Property.Janusz Czelakowski - 1982 - Studia Logica 41 (4):329 - 341.
Model Companions of Theories with an Automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
Amalgamation in Varieties of Pseudo-Interior Algebras.Barbara Klunder - 2003 - Studia Logica 73 (3):431 - 443.
Every 1-Generic Computes a Properly 1-Generic.Barbara F. Csima, Rod Downey, Noam Greenberg, Denis R. Hirschfeldt & Joseph S. Miller - 2006 - Journal of Symbolic Logic 71 (4):1385 - 1393.
On Reduction Properties.Hirotaka Kikyo & Akito Tsuboi - 1994 - Journal of Symbolic Logic 59 (3):900-911.
The Algebraic Sum of Sets of Real Numbers with Strong Measure Zero Sets.Andrej Nowik, Marion Scheepers & Tomasz Weiss - 1998 - Journal of Symbolic Logic 63 (1):301-324.
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.
On Some Classes of Heyting Algebras with Successor That Have the Amalgamation Property.José L. Castiglioni & Hernán J. San Martín - 2012 - Studia Logica 100 (6):1255-1269.
A Note on Generic Projective Planes.Koichiro Ikeda - 2002 - Notre Dame Journal of Formal Logic 43 (4):249-254.
Sentential Logics and Maehara Interpolation Property.Janusz Czelakowski - 1985 - Studia Logica 44 (3):265 - 283.
Analytics
Added to PP index
2010-09-12
Total views
13 ( #772,437 of 2,519,441 )
Recent downloads (6 months)
1 ( #407,861 of 2,519,441 )
2010-09-12
Total views
13 ( #772,437 of 2,519,441 )
Recent downloads (6 months)
1 ( #407,861 of 2,519,441 )
How can I increase my downloads?
Downloads