Model companions of theories of graphs

, &
Mathematical Logic Quarterly 61 (3):236-246 (2015)
  Copy   BIBTEX

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.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.201400019

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Model Theory of Derivations of the Frobenius Map Revisited.Jakub Gogolok - 2023 - Journal of Symbolic Logic 88 (3):1213-1229.
Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs.Funmilola Balogun & Benedikt Löwe - forthcoming - Studia Logica:1-20.
Model Companions with Finitely Many Countable Models.Stanley Burns - 1994 - Mathematical Logic Quarterly 40 (1):141-142.
Model Companions with Finitely Many Countable Models.Stanley Burris - 1994 - Mathematical Logic Quarterly 40 (1):141-142.
Universality for Orders and Graphs Which Omit Large Substructures.Katherine Thompson - 2006 - Notre Dame Journal of Formal Logic 47 (2):233-248.
The f-factor Problem for Graphs and the Hereditary Property.Frank Niedermeyer, Saharon Shelah & Karsten Steffens - 2006 - Archive for Mathematical Logic 45 (6):665-672.
An Application of Model Theory to Semimodules.M. Zayed - 2008 - Logic Journal of the IGPL 16 (1):99-102.
Gδ‐pieces of canonical partitions of G‐spaces.Barbara Majcher-Iwanow - 2005 - Mathematical Logic Quarterly 51 (5):450-461.
Model companion and model completion of theories of rings.Claude Sureson - 2009 - Archive for Mathematical Logic 48 (5):403-420.
What Model Companionship Can Say About the Continuum Problem.Giorgio Venturi & Matteo Viale - 2024 - Review of Symbolic Logic 17 (2):546-585.

Analytics

Added to PP
2015-09-03

Downloads
16 (#227,957)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Generic automorphisms of fields.Angus Macintyre - 1997 - Annals of Pure and Applied Logic 88 (2):165-180.
Model companions of theories with an automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
The strict order property and generic automorphisms.Hirotaka Kikyo & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (1):214-216.

Add more references