Model companions of theories of graphs

DOI10.1002/MALQ.201400019zbMATH Open1335.03035OpenAlexW1798920683MaRDI QIDQ5258486FDOQ5258486

Authors: Kota Takeuchi, Akito Tsuboi, Yu-ichi Tanaka 

Publication date: 22 June 2015

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201400019

Recommendations

• scientific article; zbMATH DE number 3930979
• Model companions of theories with an automorphism
• Model completeness of generic graphs in rational cases
• Model companions for finitely generated universal Horn classes
• LE MODÈLE COMPAGNON DE LA THÉORIE DES ARBRES

zbMATH Keywords

graphsmodel companionuniversal-existential theories

Mathematics Subject Classification ID

Graph theory (05C99) Models of other mathematical theories (03C65)

Cites Work

• Generic automorphisms of fields
• Model companions of theories with an automorphism
• The strict order property and generic automorphisms
• Generic automorphisms of separably closed fields
• Model theory of fields with free operators in characteristic zero

Cited In (10)

• Decidable Model Companions
• The free roots of the complete graph
• Model companions of \(T_{\Aut}\) for stable \(T\)
• Model-theoretic properties of the \(\sharp\)-companion of a Jonsson set
• Palindromic characteristic of committed graphs and some model theoretic properties
• Title not available (Why is that?)
• (Lack of) model structures on the category of graphs
• Model companions for finitely generated universal Horn classes
• Random graphs with a random bijection
• Title not available (Why is that?)

This page was built for publication: Model companions of theories of graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5258486)