Step by step – Building representations in algebraic logic

DOI10.2307/2275740zbMath0879.03018OpenAlexW2112303653MaRDI QIDQ4338323

Robin Hirschl, I. M. 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

representationrelation algebragamescylindric algebrasLyndon algebraUltrafilter extension

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• The representation of relation algebras. II
• Cylindric algebras. Part II
• Axioms for tense logic. I: 'Since' and 'until'
• Temporal constraint networks
• Algebraization of quantifier logics, an introductory overview
• Weakly representable but not representable relation algebras
• A nonpermutational integral relation algebra
• Preface for Studia Logica special issue (2)
• On representable relation algebras
• Representations of integral relation algebras
• The representation of relational algebras
• Completing theories by forcing
• Boolean Algebras with Operators