Back to Search Start Over

Model companions of theories of graphs.

Authors :
Takeuchi, Kota
Tanaka, Yu‐ichi
Tsuboi, Akito
Source :
Mathematical Logic Quarterly. May2015, Vol. 61 Issue 3, p236-246. 11p.
Publication Year :
2015

Abstract

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. [ABSTRACT FROM AUTHOR]

Subjects

Subjects :
*GRAPHIC methods
*AXIOMS
*MATHEMATICS
*FOUNDATIONS of geometry
*FOUNDATIONS of projective geometry

Details

Language :
English
ISSN :
09425616
Volume :
61
Issue :
3
Database :
Academic Search Index
Journal :
Mathematical Logic Quarterly
Publication Type :
Academic Journal
Accession number :
102854986
Full Text :
https://doi.org/10.1002/malq.201400019
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details