Existential Horn Sentences

DOI10.2307/2033637zbMATH Open0114.24902OpenAlexW4214827525MaRDI QIDQ5722263FDOQ5722263

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

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

Cited In (4)

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

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)