Model complete universal Horn classes
From MaRDI portal
Recommendations
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 TUH, 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)