Model complete universal Horn classes

DOI10.1007/BF01194519MaRDI QIDQ800351zbMATH OpenOpenAlexFDO

Authors John T. Baldwin, Steven R. Givant

Publication date 1983

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01194519

zbMATH Keywords

universal Horn classesmodels of a universal Horn theorynumber of non- isomorphic models

Mathematics Subject Classification ID

Properties of classes of models (03C52)

Recommendations

• Models of superstable Horn theories
• Categorical Horn classes. II
• Model companions for finitely generated universal Horn classes
• scientific article; zbMATH DE number 1284140
• Locally finite countably-categorical Horn theories

Cites work

• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• A representation theorem for universal horn classes categorical in power
• Fragments of first order logic, I: universal Horn logic
• Horn sentences
• On universal Horn classes categorical in some infinite power
• The decision problem for some classes of sentences without quantifiers

Cited in

(14)

• Models of superstable Horn theories
• Locally finite countably-categorical Horn theories
• The Essentially Equational Theory of Horn Classes
• Theories of modules closed under direct products
• Categorical Horn classes. II
• scientific article; zbMATH DE number 4139723 (Why is no real title available?)
• Finitely generic models of T_UH, for certain model companionable theories T
• The Model Completion of the Class of ℒ-Structures
• scientific article; zbMATH DE number 3176042 (Why is no real title available?)
• scientific article; zbMATH DE number 1873279 (Why is no real title available?)
• scientific article; zbMATH DE number 1936748 (Why is no real title available?)
• Model companions for finitely generated universal Horn classes
• scientific article; zbMATH DE number 4099271 (Why is no real title available?)
• Universal Horn Sentences and the Joint Embedding Property

This page was built for publication: Model complete universal Horn classes

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