Completions and complete representations

zbMATH Open1284.03271MaRDI QIDQ2853709FDOQ2853709

Authors: Robin Hirsch, Ian Hodkinson 

Publication date: 16 October 2013

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

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)

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)