論文

査読有り
2009年9月

ON GENERIC STRUCTURES WITH A STRONG AMALGAMATION PROPERTY

JOURNAL OF SYMBOLIC LOGIC
  • Koichiro Ikeda
  • ,
  • Hirotaka Kikyo
  • ,
  • Akito Tsuboi

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.

リンク情報
Web of Science
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000269571100001&DestApp=WOS_CPL
ID情報
  • ISSN : 0022-4812
  • Web of Science ID : WOS:000269571100001

エクスポート
BibTeX RIS