Compactness in equational logic

MaRDI QIDQ5488258zbMATH OpenFDO

Authors George E. Weaver

Publication date 14 September 2006

zbMATH Keywords

compactness theoremfinitary equational logicsinfinitary equational logics

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Basic properties of first-order languages and structures (03C07) Other infinitary logic (03C75)

Recommendations

• On a weak form of equational compactness
• Duality for Compact Logics and Substitution in Abstract Model Theory
• Compactness in infinitary Gödel logics
• Compactness=JEP in any logic
• Positive results in abstract model theory: a theory of compact logics

Cited in

(8)

• Compactness via equivalence relations
• On a weak form of equational compactness
• Compactness in infinitary Gödel logics
• scientific article; zbMATH DE number 3873304 (Why is no real title available?)
• scientific article; zbMATH DE number 4081532 (Why is no real title available?)
• scientific article; zbMATH DE number 60833 (Why is no real title available?)
• A note on definability in equational logic
• ON EQUATIONAL COMPLETENESS THEOREMS

This page was built for publication: Compactness in equational logic

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