Decidable Model Companions

DOI10.1002/MALQ.19890350305MaRDI QIDQ3800011zbMATH OpenOpenAlexFDO

Authors Stanley N. Burris

Publication date 1989

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

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

zbMATH Keywords

bounded obstruction propertylocally finite classesmodel companionuniversal Horn classes

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Basic properties of first-order languages and structures (03C07)

Recommendations

• Bounded Obstructions, Model Companions and Amalgamation Bases
• Model companions for finitely generated universal Horn classes
• Model companions of theories of graphs
• DETERMINING WHETHER ${\mathsf V}({\bf A})$ HAS A MODEL COMPANION IS UNDECIDABLE
• The model companion of width-two orders

Cited in

(3)

• The model companion of width-two orders
• Bounded Obstructions, Model Companions and Amalgamation Bases
• Model-theoretic aspects of unification

This page was built for publication: Decidable Model Companions

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