Model companions of theories of graph
Model companions of theories of graph
复制标题
图论的模型伴侣
DOI：
10.1002/malq.201400019
复制
发表时间：
2015
影响因子：
0.3
通讯作者：
Y. Tanaka and A. Tsuboi
中科院分区：
文献类型：
--
作者：
K. Takeuchi;Y. Tanaka and A. Tsuboi
我们研究模型同伴的理论扩展图公理。首先，我们证明了一般结果的存在性模型伴侣。然后，通过将这些结果应用于图的情况，我们给出了一系列可伴和非可伴的例子。
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.