The Model Completion of the Class of ℒ-Structures

DOI10.1002/MALQ.19870330405MaRDI QIDQ3748271zbMATH OpenOpenAlexFDO

Authors Stanley N. Burris

Publication date 1987

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.19870330405

zbMATH Keywords

L-structuresmodel completionrecursive language

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Properties of classes of models (03C52)

Recommendations

• Model complete theories of trees
• Model completions and omitting types
• Model complete universal Horn classes
• MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
• scientific article; zbMATH DE number 4012584

Cited in

(2)

• Constructing \(\omega\)-stable structures: Model completeness.
• scientific article; zbMATH DE number 6785324 (Why is no real title available?)

This page was built for publication: The Model Completion of the Class of ℒ-Structures

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