论文信息 - Model completeness of generic graphs in rational cases

Model completeness of generic graphs in rational cases

Let $$\mathbf {K}_f$$Kf be an ab initio amalgamation class with an unbounded increasing concave function f. We show that if the predimension function has a rational coefficient and f satisfies a certain assumption then the generic structure of $$\mathbf {K}_f$$Kf has a model complete theory.

Hirotaka Kikyo

[1] Kitty L. Holland. Model Completeness of The New Strongly Minimal Sets , 1999, J. Symb. Log..

[2] John T. Baldwin,et al. Stable Generic Structures , 1996, Ann. Pure Appl. Log..

[3] Anand Pillay,et al. Simple Theories , 1997, Ann. Pure Appl. Log..

[4] Saharon Shelah,et al. Randomness and semigenericity , 1996 .

[5] Ehud Hrushovski,et al. A New Strongly Minimal Set , 1993, Ann. Pure Appl. Log..

[6] Koichiro Ikeda,et al. Model Complete Generic Structures , 2015 .

[7] John T. Baldwin. Constructing ω-stable Structures : Model Completeness , 2003 .

[8] Reinhard Diestel,et al. Graph Theory , 1997 .

[9] Frank O. Wagner. Relational structures and dimensions , 1994 .