Model companions of theories of graphs

DOI10.1002/MALQ.201400019MaRDI QIDQ5258486zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

graphsmodel companionuniversal-existential theories

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(10)

• scientific article; zbMATH DE number 3930979 (Why is no real title available?)
• Model-theoretic properties of the \(\sharp\)-companion of a Jonsson set
• scientific article; zbMATH DE number 3559562 (Why is no real title available?)
• Model companions of \(T_{\Aut}\) for stable \(T\)
• The free roots of the complete graph
• Decidable Model Companions
• Model companions for finitely generated universal Horn classes
• Palindromic characteristic of committed graphs and some model theoretic properties
• Random graphs with a random bijection
• (Lack of) model structures on the category of graphs

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)