Article contents
On generic structures with a strong amalgamation property
Published online by Cambridge University Press: 12 March 2014
Abstract
Let be a finite relational language and α = (αR: R ∈ ) a tuple with 0 < αR ≤ 1 for each R ∈ . Consider a dimension function
where each eR(A) is the number of realizations of R in A. Let Kα be the class of finite structures A such that δα (X) ≥ 0 for any substructure X of A. We show that the theory of the generic model of Kα is AE-axiomatizable for any α.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2009
References
REFERENCES
- 2
- Cited by