Existential Horn Sentences

DOI10.2307/2033637MaRDI QIDQ5722263zbMATHOpenAlexFDO

Authors Roger C. Lyndon

Publication date 1959

Full work available at URL https://doi.org/10.2307/2033637

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• An interpolation theorem in the predicate calculus
• On closure under direct product
• On sentences which are true of direct unions of algebras
• The decision problem for some classes of sentences without quantifiers

Cited in

(4)

• Explicit Henkin sentences
• Axiomatizable classes with strong homomorphisms
• Reduced Products and Horn Classes
• Properties preserved under algebraic constructions

This page was built for publication: Existential Horn Sentences

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