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

models of a universal Horn theorynumber of non- isomorphic modelsuniversal Horn classes

Mathematics Subject Classification ID

Properties of classes of models (03C52)

Review text

It is shown that the class of (non-trivial) models of a universal Horn theory \(\theta\) whose infinite part is model complete is the union of a sequence of pairwise disjoint complete and model complete universal Horn classes. This result is applied to determine the number of non-isomorphic models of \(\theta\) (under the additional assumption that \(\theta\) is locally finite).

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

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

Cited in

(15)

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

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)