Premium
Model companions of theories of graphs
Author(s) -
Takeuchi Kota,
Tanaka Yuichi,
Tsuboi Akito
Publication year - 2015
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201400019
Subject(s) - mathematics , axiom , series (stratigraphy) , graph , discrete mathematics , geometry , paleontology , biology
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.