Complete representations in algebraic logic

DOI10.2307/2275574zbMATH Open0893.03025OpenAlexW2171216899MaRDI QIDQ4372908FDOQ4372908

Authors: Robin Hirsch, Ian Hodkinson 

Publication date: 17 December 1997

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275574

Recommendations

• Completely Representable Relation Algebras
• Relation algebra reducts of cylindric algebras and complete representations
• On complete representations of algebras of logic
• Step by step – Building representations in algebraic logic

zbMATH Keywords

Boolean algebrasrelation algebrascylindric algebrascomplete representationelementary classesgame-theoretic framework

Mathematics Subject Classification ID

Applications of game theory (91A80) Cylindric and polyadic algebras; relation algebras (03G15) Logical aspects of Boolean algebras (03G05)

Cites Work

• Cylindric algebras. Part II
• Boolean Algebras with Operators
• Varieties of complex algebras
• Representations of integral relation algebras
• The representation of relational algebras
• The representation of relation algebras. II

Cited In (47)

• On complete representations of algebras of logic
• The finitely axiomatizable complete theories of non-associative arrow frames
• Geometrical representation theorems for cylindric-type algebras
• Algebraic Logic, Where Does it Stand Today?
• On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
• Title not available (Why is that?)
• Subcompletions of representable relation algebras
• Relation algebras from cylindric algebras. I
• Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
• Difference-restriction algebras of partial functions with operators: discrete duality and completion
• Difference-restriction algebras of partial functions: axiomatisations and representations
• Functionally dense relation algebras
• Relation algebra reducts of cylindric algebras and complete representations
• Omitting types for finite variable fragments and complete representations of algebras
• Completely representable lattices
• Games in algebraic logic: axiomatisations and beyond
• Atom structures of cylindric algebras and relation algebras
• A curve and its abstract Jacobian
• Neat embeddings, omitting types, and interpolation: an overview
• Axiomatizing complex algebras by games.
• A representation theorem for measurable relation algebras
• On axiomatising products of Kripke frames
• Notions of representability for cylindric algebras: some algebras are more representable than others
• Some results about neat reducts
• On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results
• Complete representation by partial functions for composition, intersection and anti-domain
• Completely Representable Relation Algebras
• Omitting Types in Fragments and Extensions of First Order Logic
• Blow Up and Blur Constructions in Algebraic Logic
• Strongly representable atom structures of cylindric algebras
• New perspectives in algebraic logic, from neat embeddings to Erdős graphs
• Complete Representations and Neat Embeddings
• Omitting types algebraically and more about amalgamation for modal cylindric algebras
• The class of completely representable polyadic algebras of infinite dimensions is elementary
• Neat embeddings as adjoint situations
• Classes of algebras that are not closed under completions
• Strongly representable atom structures of relation algebras
• Complete representation by partial functions for signatures containing antidomain restriction
• On complete representations of reducts of polyadic algebras
• A brief history of Tarskian algebraic logic with new perspectives and innovations
• Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
• Representability is not decidable for finite relation algebras
• First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth
• Omitting types for algebraizable extensions of first order logic
• Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
• A construction of cylindric and polyadic algebras from atomic relation algebras
• Positive fragments of relevance logic and algebras of binary relations

This page was built for publication: Complete representations in algebraic logic

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