Erdős Graphs Resolve Fine's Canonicity Problem

DOI10.2178/BSL/1082986262MaRDI QIDQ4678939zbMATH OpenOpenAlexFDO

Authors Robert Goldblatt, Ian Hodkinson, Yde Venema

Publication date 24 May 2005

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

Full work available at URL https://doi.org/10.2178/bsl/1082986262

zbMATH Keywords

bimodal logicBoolean algebras with operatorsequational classesfirst-order definable classKripke framesrelational structures

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Equational classes, universal algebra in model theory (03C05) Random graphs (graph-theoretic aspects) (05C80) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Varieties (08B99)

Recommendations

• Canonical varieties with no canonical axiomatisation
• NOTES ON SOME ERDŐS–HAJNAL PROBLEMS
• Paul Erdős and his mathematics II. Based on the conference, Budapest, Hungary, July 4--11, 1999
• Publication:4732473
• scientific article; zbMATH DE number 426350

Cites work

• A Henkin completeness theorem for T
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• Canonical formulas for K4. Part II: Cofinal subframe logics
• Cylindric algebras. Part II
• Elementary generation and canonicity for varieties of Boolean algebras with operators
• Every world can see a reflexive world
• Graph Theory and Probability
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 1489632 (Why is no real title available?)
• scientific article; zbMATH DE number 1749192 (Why is no real title available?)
• Logics containing K4. Part II
• Mathematical modal logic: A view of its evolution
• On Some Completeness Theorems in Modal Logic
• On the canonicity of Sahlqvist identities
• Persistence and atomic generation for varieties of Boolean algebras with operators
• Proceedings of the 3rd Scandinavian logic symposium
• Properties of Tense Logics
• Reduction of second‐order logic to modal logic
• Relation algebras by games
• Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
• Some theorems about the sentential calculi of Lewis and Heyting
• Strongly representable atom structures of relation algebras
• Subdirect unions in universal algebra
• The completeness of the first-order functional calculus
• The lattice of modal logics: an algebraic investigation
• The structure of lattices of subframe logics
• Tools and techniques in modal logic
• Trends in logic. 50 years of Studia Logica
• Universal classes of simple relation algebras
• Varieties of complex algebras
• Varieties of relation algebras

Cited in

(9)

• Canonical extensions and ultraproducts of polarities
• Canonical extensions: an algebraic approach to Stone duality
• Elementary canonical formulae: extending Sahlqvist's theorem
• New perspectives in algebraic logic, from neat embeddings to Erdős graphs
• MacNeille completions and canonical extensions
• Decidability of modal logics of non-\(k\)-colorable graphs
• Monadic bounded algebras
• Ultrafilter extensions of bounded graphs are elementary
• Some results about neat reducts

This page was built for publication: Erdős Graphs Resolve Fine's Canonicity Problem

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