Step by step – Building representations in algebraic logic

DOI10.2307/2275740MaRDI QIDQ4338323zbMATH OpenOpenAlexFDO

Authors Robin Hirsch, Ian Hodkinson

Publication date 22 December 1997

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

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

zbMATH Keywords

representationgamesrelation algebracylindric algebrasLyndon algebraUltrafilter extension

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Games in algebraic logic: axiomatisations and beyond
• A curve and its abstract Jacobian
• Complete representations in algebraic logic
• Axiomatising Various Classes of Relation and Cylindric Algebras

Cites work

• scientific article; zbMATH DE number 3908418 (Why is no real title available?)
• scientific article; zbMATH DE number 3421490 (Why is no real title available?)
• A nonpermutational integral relation algebra
• Algebraization of quantifier logics, an introductory overview
• Axioms for tense logic. I: 'Since' and 'until'
• Boolean Algebras with Operators
• Completing theories by forcing
• Cylindric algebras. Part II
• Maintaining knowledge about temporal intervals
• On representable relation algebras
• Preface for Studia Logica special issue (2)
• Representations of integral relation algebras
• Temporal constraint networks
• The representation of relation algebras. II
• The representation of relational algebras
• Weakly representable but not representable relation algebras

Cited in

(25)

• Canonical varieties with no canonical axiomatisation
• Rectangular games
• The finitely axiomatizable complete theories of non-associative arrow frames
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Geometrical representation theorems for cylindric-type algebras
• Tractable approximations for temporal constraint handling
• Algebraic Logic, Where Does it Stand Today?
• Relation algebras from cylindric algebras. I
• Relation algebras by games
• On the representability of neatly embeddable CA's by cylindric relativized algebras
• Atom structures of cylindric algebras and relation algebras
• Neat embeddings, omitting types, and interpolation: an overview
• Games in algebraic logic: axiomatisations and beyond
• A curve and its abstract Jacobian
• Reducts of relation algebras: the aspects of axiomatisability and finite representability
• Relation algebras of intervals
• Circuits in \textit{RGB Express}
• New perspectives in algebraic logic, from neat embeddings to Erdős graphs
• How many varieties of cylindric algebras are there
• Strongly representable atom structures of relation algebras
• Inequivalent representations of geometric relation algebras
• Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
• Representability is not decidable for finite relation algebras
• The polyadic generalization of the Boolean axiomatization of fields of sets
• Omitting types for algebraizable extensions of first order logic

This page was built for publication: Step by step – Building representations in algebraic logic

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