Compactness in equational logic

zbMATH Open1105.03028MaRDI QIDQ5488258FDOQ5488258

Authors: George E. Weaver 

Publication date: 14 September 2006

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

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)

Cited In (6)

• Title not available (Why is that?)
• On a weak form of equational compactness
• Compactness via equivalence relations
• A note on definability in equational logic
• Title not available (Why is that?)
• Title not available (Why is that?)

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)