2009年9月
ON GENERIC STRUCTURES WITH A STRONG AMALGAMATION PROPERTY
JOURNAL OF SYMBOLIC LOGIC
- ,
- ,
- 巻
- 74
- 号
- 3
- 開始ページ
- 721
- 終了ページ
- 733
- 記述言語
- 英語
- 掲載種別
- 研究論文(学術雑誌)
- 出版者・発行元
- ASSOC SYMBOLIC LOGIC, INC
Let L be a finite relational language and alpha = (alpha(R): R is an element of L) a tuple with 0 < alpha(R) <= 1 for each R is an element of L. Consider a dimension function
delta(alpha) (A) = vertical bar A vertical bar - Sigma(R is an element of L) alpha(R)e(R)(A)
where each e(R)(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) >= 0 for my substructure X of A. We show that the theory of the generic model of K(alpha) is AE-axiomatizable for any alpha.
delta(alpha) (A) = vertical bar A vertical bar - Sigma(R is an element of L) alpha(R)e(R)(A)
where each e(R)(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) >= 0 for my substructure X of A. We show that the theory of the generic model of K(alpha) is AE-axiomatizable for any alpha.
- リンク情報
- ID情報
-
- ISSN : 0022-4812
- Web of Science ID : WOS:000269571100001