Erdős Graphs Resolve Fine's Canonicity Problem

DOI10.2178/BSL/1082986262zbMATH Open1060.03038OpenAlexW2144612483MaRDI QIDQ4678939FDOQ4678939

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

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

zbMATH Keywords

equational classesbimodal logicBoolean algebras with operatorsKripke framesrelational structuresfirst-order definable class

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (8)

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

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)