Model complete universal Horn classes

DOI10.1007/BF01194519zbMATH Open0549.03025OpenAlexW2059358655MaRDI QIDQ800351FDOQ800351

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Properties of classes of models (03C52)

Cites Work

• Title not available (Why is that?)
• The decision problem for some classes of sentences without quantifiers
• On universal Horn classes categorical in some infinite power
• Horn sentences
• A representation theorem for universal horn classes categorical in power
• Fragments of first order logic, I: universal Horn logic

Cited In (13)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Models of superstable Horn theories
• Categorical Horn classes. II
• Title not available (Why is that?)
• Title not available (Why is that?)
• Finitely generic models of T_UH, for certain model companionable theories T
• Model companions for finitely generated universal Horn classes
• The Essentially Equational Theory of Horn Classes
• Theories of modules closed under direct products
• Locally finite countably-categorical Horn theories
• The Model Completion of the Class of ℒ-Structures
• Title not available (Why is that?)

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)