The Model Completion of the Class of ℒ-Structures

DOI10.1002/MALQ.19870330405zbMATH Open0608.03011OpenAlexW2048706254MaRDI QIDQ3748271FDOQ3748271

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

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

zbMATH Keywords

L-structuresmodel completionrecursive language

Mathematics Subject Classification ID

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

Cited In (2)

• Constructing \(\omega\)-stable structures: Model completeness.
• Title not available (Why is that?)

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)