论文信息 - Model companions of theories of graphs

Model companions of theories of graphs

We study model companions of theories extending the graph axioms. First we prove general results concerning the existence of the model companion. Then, by applying these results to the case of graphs, we give a series of companionable and non-companionable examples.

Akito Tsuboi | Kota Takeuchi | Yu-ichi Tanaka

[1] Robin J. Wilson. Introduction to Graph Theory , 1974 .

[2] Thomas Scanlon,et al. Model theory of fields with free operators in characteristic zero , 2014, J. Math. Log..

[3] Hirotaka Kikyo,et al. Model companions of theories with an automorphism , 1998, Journal of Symbolic Logic.

[4] W. Hodges. CLASSIFICATION THEORY AND THE NUMBER OF NON‐ISOMORPHIC MODELS , 1980 .

[5] John T. Baldwin,et al. Fundamentals of Stability Theory , 2017, Perspectives in Logic.

[6] Zoé Chatzidakis. Generic automorphisms of separably closed fields , 2001 .

[7] Angus Macintyre,et al. Generic Automorphisms of Fields , 1997, Ann. Pure Appl. Log..

[8] Saharon Shelah,et al. The Strict Order Property and Generic Automorphisms , 2002, J. Symb. Log..

[9] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .