{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T06:50:56Z","timestamp":1772520656659,"version":"3.50.1"},"reference-count":52,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":3515,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log."],"published-print":{"date-parts":[[2004,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We show that there exist 2<jats:sup>\u21350<\/jats:sup>equational classes of Boolean algebras with operators that are not generated by the complex algebras of any first-order definable class of relational structures. Using a variant of this construction, we resolve a long-standing question of Fine, by exhibiting a bimodal logic that is valid in its canonical frames, but is not sound and complete for any first-order definable class of Kripke frames (a monomodal example can then be obtained using simulation results of Thomason). The constructions use the result of Erdos that there are finite graphs with arbitrarily large chromatic number and girth.<\/jats:p>","DOI":"10.2178\/bsl\/1082986262","type":"journal-article","created":{"date-parts":[[2005,3,2]],"date-time":"2005-03-02T20:44:27Z","timestamp":1109796267000},"page":"186-208","source":"Crossref","is-referenced-by-count":16,"title":["Erd\u0151s Graphs Resolve Fine's Canonicity Problem"],"prefix":"10.1017","volume":"10","author":[{"given":"Robert","family":"Goldblatt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Hodkinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yde","family":"Venema","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1079898600003929_ref030","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-01-06232-3"},{"key":"S1079898600003929_ref022","doi-asserted-by":"publisher","DOI":"10.1016\/S1570-8683(03)00008-9"},{"key":"S1079898600003929_ref044","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19660120131"},{"key":"S1079898600003929_ref049","first-page":"421","volume-title":"Advances in modal logic, vol. 2","volume":"119","author":"Venema","year":"2001"},{"key":"S1079898600003929_ref029","volume-title":"Relation algebras by games","volume":"147","author":"Hirsch","year":"2002"},{"key":"S1079898600003929_ref046","doi-asserted-by":"crossref","unstructured":"Sahlqvist Henrik , Completeness and correspondence in the first and second order semantics for modal logic, In Kanger [39], pp. 110\u2013143.","DOI":"10.1016\/S0049-237X(08)70728-6"},{"key":"S1079898600003929_ref028","volume-title":"Cylindric algebras II","volume":"115","author":"Henkin","year":"1985"},{"key":"S1079898600003929_ref011","doi-asserted-by":"publisher","DOI":"10.2307\/2274318"},{"key":"S1079898600003929_ref045","doi-asserted-by":"publisher","DOI":"10.2307\/2268135"},{"key":"S1079898600003929_ref025","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0095612"},{"key":"S1079898600003929_ref036","first-page":"79","article-title":"Boolean algebras with operators","volume":"54","author":"J\u00f3nsson","year":"1948","journal-title":"Bulletin of the American Mathematical Society"},{"key":"S1079898600003929_ref014","first-page":"197","article-title":"Monotone bounded distributive lattice expansions","volume":"52","author":"Gehrke","year":"2000","journal-title":"Mathematica Japonica"},{"key":"S1079898600003929_ref007","doi-asserted-by":"publisher","DOI":"10.1007\/BF01058532"},{"key":"S1079898600003929_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"S1079898600003929_ref027","volume-title":"Cylindric algebras I","volume":"64","author":"Henkin","year":"1971"},{"key":"S1079898600003929_ref035","doi-asserted-by":"publisher","DOI":"10.1007\/BF01057646"},{"key":"S1079898600003929_ref034","doi-asserted-by":"publisher","DOI":"10.1007\/BF02483728"},{"key":"S1079898600003929_ref018","volume-title":"Mathematics of modality","volume":"43","author":"Goldblatt","year":"1993"},{"key":"S1079898600003929_ref039","volume-title":"Proceedings of the Third Scandinavian Logic Symposium","volume":"82","author":"Kanger","year":"1975"},{"key":"S1079898600003929_ref042","volume-title":"Intensional logic","author":"Lemmon","year":"1977"},{"key":"S1079898600003929_ref052","doi-asserted-by":"publisher","DOI":"10.2307\/2275669"},{"key":"S1079898600003929_ref021","doi-asserted-by":"publisher","DOI":"10.1023\/A:1012491022267"},{"key":"S1079898600003929_ref008","volume-title":"Graph theory","volume":"173","author":"Diestel","year":"1997"},{"key":"S1079898600003929_ref019","doi-asserted-by":"publisher","DOI":"10.1007\/BF01181878"},{"key":"S1079898600003929_ref024","volume-title":"Logique et Analyse","author":"Goldblatt"},{"key":"S1079898600003929_ref005","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal logic","author":"Chagrov","year":"1997"},{"key":"S1079898600003929_ref012","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19910370103"},{"key":"S1079898600003929_ref006","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093956082"},{"key":"S1079898600003929_ref010","doi-asserted-by":"crossref","unstructured":"Fine Kit , Some connections between elementary and modal logic, In Kanger [39], pp. 15\u201331.","DOI":"10.1016\/S0049-237X(08)70723-7"},{"key":"S1079898600003929_ref047","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19750210114"},{"key":"S1079898600003929_ref002","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"key":"S1079898600003929_ref032","volume-title":"Transactions of the American Mathematical Society","author":"Hodkinson"},{"key":"S1079898600003929_ref016","unstructured":"Goldblatt Robert , Elementary logics are canonical andpseudo-equational, In [18], pp. 243\u2013257."},{"key":"S1079898600003929_ref031","volume-title":"Model theory","volume":"42","author":"Hodoes","year":"1993"},{"key":"S1079898600003929_ref050","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19960420140"},{"key":"S1079898600003929_ref017","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(89)90032-8"},{"key":"S1079898600003929_ref043","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1982-0662049-7"},{"key":"S1079898600003929_ref003","doi-asserted-by":"publisher","DOI":"10.2307\/2273184"},{"key":"S1079898600003929_ref048","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1975.tb00555.x"},{"key":"S1079898600003929_ref026","doi-asserted-by":"publisher","DOI":"10.2307\/2267044"},{"key":"S1079898600003929_ref013","unstructured":"Gehrke Mai , Harding John , and Venema Yde , MacNeille completions and canonical extensions , 2003, ILLC beta preprint PP-2004-05. Manuscript available at staff.science.uva.nl\/~yde."},{"key":"S1079898600003929_ref033","doi-asserted-by":"publisher","DOI":"10.1007\/BF00935597"},{"key":"S1079898600003929_ref020","first-page":"393","article-title":"Algebraic polymodal logic: a survey","volume":"8","author":"Goldblatt","year":"2000","journal-title":"Logic Journal of the IGPL. Interest Group in Pure and Applied Logics"},{"key":"S1079898600003929_ref038","doi-asserted-by":"publisher","DOI":"10.2307\/2372074"},{"key":"S1079898600003929_ref009","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1959-003-9"},{"key":"S1079898600003929_ref041","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1974.tb00082.x"},{"key":"S1079898600003929_ref037","doi-asserted-by":"publisher","DOI":"10.2307\/2372123"},{"key":"S1079898600003929_ref001","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1944-08235-9"},{"key":"S1079898600003929_ref023","first-page":"93","volume-title":"Trends in logic \u2014 50 years of Studia Logica","author":"Goldblatt","year":"2003"},{"key":"S1079898600003929_ref015","doi-asserted-by":"publisher","DOI":"10.2307\/2586485"},{"key":"S1079898600003929_ref051","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(96)00049-8"},{"key":"S1079898600003929_ref040","doi-asserted-by":"crossref","DOI":"10.1016\/S0049-237X(99)80001-9","volume-title":"Tools and techniques in modal logic","volume":"142","author":"Kracht","year":"1999"}],"container-title":["Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600003929","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T22:45:35Z","timestamp":1706049935000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600003929\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,6]]},"references-count":52,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2004,6]]}},"alternative-id":["S1079898600003929"],"URL":"https:\/\/doi.org\/10.2178\/bsl\/1082986262","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,6]]}}}