Canonical varieties with no canonical axiomatisation

DOI10.1090/S0002-9947-04-03743-2zbMath1081.03062MaRDI QIDQ5461397

I. M. Hodkinson, Yde Venema

Publication date: 26 July 2005

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

chromatic numberrandom graphcanonical equationcanonical extensionvariety of modal algebrasErdős graphcanonical axiomatisationvariety of representable relation algebras

Mathematics Subject Classification ID

Random graphs (graph-theoretic aspects) (05C80) Games involving graphs (91A43) Coloring of graphs and hypergraphs (05C15) Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (15)

Weak representations of relation algebras and relational bases ⋮ Reducts of relation algebras: the aspects of axiomatisability and finite representability ⋮ Non-finitely axiomatisable two-dimensional modal logics ⋮ Subcompletions of representable relation algebras ⋮ Bare canonicity of representable cylindric and polyadic algebras ⋮ FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH ⋮ Seurat games on Stockmeyer graphs ⋮ Undecidability of representability as binary relations ⋮ A dichotomy for some elementarily generated modal logics ⋮ Coalgebraic Completeness-via-Canonicity ⋮ RESIDUAL PROPERTIES OF SIMPLE GRAPHS ⋮ Canonical extensions and ultraproducts of polarities ⋮ On the variety generated by completions of representable relation algebras ⋮ Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations ⋮ Strongly representable atom structures of cylindric algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relation algebras by games
• The representation of relation algebras. II
• Relation algebras and projective geometries
• A sequent calculus for relation algebras
• Lattices of modal logics and their groups of automorphisms
• Atom structures and Sahlqvist equations
• Atom structures of cylindric algebras and relation algebras
• On representable relation algebras
• Every world can see a reflexive world
• Varieties of complex algebras
• The representation of relational algebras
• Strongly representable atom structures of relation algebras
• Simulating polyadic modal logics by monadic ones
• Atomless varieties
• Graph Theory and Probability
• Representation of Modular Lattices and Of Relation Algebras
• An undecidable problem in correspondence theory
• Normal monomodal logics can simulate all others
• The undecidability of the disjunction property of propositional logics and other related problems
• Step by step – Building representations in algebraic logic
• The Theory of Representation for Boolean Algebras
• On the calculus of relations
• Boolean Algebras with Operators. Part I
• Combinatorial Relations and Chromatic Graphs

This page was built for publication: Canonical varieties with no canonical axiomatisation