Completions and complete representations

MaRDI QIDQ2853709zbMATH OpenFDO

Authors Robin Hirsch, Ian Hodkinson

Publication date 16 October 2013

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Cylindric and polyadic algebras; relation algebras (03G15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Logical aspects of Boolean algebras (03G05)

Recommendations

• Subcompletions of representable relation algebras
• Completely Representable Relation Algebras
• Atom structures of cylindric algebras and relation algebras
• Advanced topics in relation algebras. Relation algebras. Volume 2
• A simple construction of representable relation algebras with non-representable completions

Cited in

(14)

• Varieties generated by completions
• Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
• On constructing completions
• Completions intrinseques et co-intrinseques
• Completion varieties
• Notions of representability for cylindric algebras: some algebras are more representable than others
• On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results
• Completely Representable Relation Algebras
• Omitting Types in Fragments and Extensions of First Order Logic
• Omitting types algebraically and more about amalgamation for modal cylindric algebras
• Completion by perturbations
• Completeness of cocompletions
• A brief history of Tarskian algebraic logic with new perspectives and innovations
• Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)

This page was built for publication: Completions and complete representations

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