{"id":"https://openalex.org/W2144612483","doi":"https://doi.org/10.2178/bsl/1082986262","title":"Erd\u0151s Graphs Resolve Fine's Canonicity Problem","display_name":"Erd\u0151s Graphs Resolve Fine's Canonicity Problem","publication_year":2004,"publication_date":"2004-06-01","ids":{"openalex":"https://openalex.org/W2144612483","doi":"https://doi.org/10.2178/bsl/1082986262","mag":"2144612483"},"language":"en","primary_location":{"id":"doi:10.2178/bsl/1082986262","is_oa":false,"landing_page_url":"https://doi.org/10.2178/bsl/1082986262","pdf_url":null,"source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bulletin of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037638170","display_name":"Robert Goldblatt","orcid":"https://orcid.org/0000-0003-1848-2215"},"institutions":[{"id":"https://openalex.org/I41156924","display_name":"Victoria University of Wellington","ror":"https://ror.org/0040r6f76","country_code":"NZ","type":"education","lineage":["https://openalex.org/I41156924"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Robert Goldblatt","raw_affiliation_strings":["Centre for Logic, Language and Computation, Victoria University, Po Box 600, Wellington, New ZealandE-mail:","Centre for Logic, Language and Computation, Victoria University, Po Box 600, Wellington, New Zealand E-mail/i: , Rob.Goldblatt@vuw.ac.nz"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre for Logic, Language and Computation, Victoria University, Po Box 600, Wellington, New ZealandE-mail:","institution_ids":["https://openalex.org/I41156924"]},{"raw_affiliation_string":"Centre for Logic, Language and Computation, Victoria University, Po Box 600, Wellington, New Zealand E-mail/i: , Rob.Goldblatt@vuw.ac.nz","institution_ids":["https://openalex.org/I41156924"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024547037","display_name":"Ian Hodkinson","orcid":"https://orcid.org/0000-0003-3650-1942"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ian Hodkinson","raw_affiliation_strings":["Office for Logic, Language and Computation, 426 Huxley Building, Department of Computing, Imperial College London, South Kensington Campus, London SW7 2AZ, UKE-mail:","Office for Logic, Language and Computation, 426 Huxley Building, Department of Computing, Imperial College London, South Kensington Campus, London SW7 2AZ, UK E-mail/i: , imh@doc.ic.ac.uk"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Office for Logic, Language and Computation, 426 Huxley Building, Department of Computing, Imperial College London, South Kensington Campus, London SW7 2AZ, UKE-mail:","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Office for Logic, Language and Computation, 426 Huxley Building, Department of Computing, Imperial College London, South Kensington Campus, London SW7 2AZ, UK E-mail/i: , imh@doc.ic.ac.uk","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5105920523","display_name":"Yde Venema","orcid":null},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Yde Venema","raw_affiliation_strings":["Institute for Logic, Language and Computation, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, NetherlandsE-mail:","Institute for Logic, Language and Computation, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, Netherlands E-mail/i: , yde@science.uva.nl"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Logic, Language and Computation, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, NetherlandsE-mail:","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Institute for Logic, Language and Computation, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, Netherlands E-mail/i: , yde@science.uva.nl","institution_ids":["https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.4995,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.94810304,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"10","issue":"2","first_page":"186","last_page":"208"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9491000175476074,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9491000175476074,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.6491349935531616},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.64090895652771},{"id":"https://openalex.org/keywords/chromatic-scale","display_name":"Chromatic scale","score":0.5472317934036255},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4748789668083191},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.4498429298400879},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4344261586666107},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.36812835931777954},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2693798542022705},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.0790872871875763}],"concepts":[{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.6491349935531616},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.64090895652771},{"id":"https://openalex.org/C196956537","wikidata":"https://www.wikidata.org/wiki/Q202021","display_name":"Chromatic scale","level":2,"score":0.5472317934036255},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4748789668083191},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.4498429298400879},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4344261586666107},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.36812835931777954},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2693798542022705},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0790872871875763},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.2178/bsl/1082986262","is_oa":false,"landing_page_url":"https://doi.org/10.2178/bsl/1082986262","pdf_url":null,"source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bulletin of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/705d51e0-dd1c-4ee5-a840-0a5deed69b23","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/erdoes-graphs-resolve-fines-canonicity-problem(705d51e0-dd1c-4ee5-a840-0a5deed69b23).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Goldblatt, R, Hodkinson, I & Venema, Y 2004, 'Erd\u00f6s graphs resolve Fine's canonicity problem', The Bulletin of Symbolic Logic, vol. 10, pp. 186-208. https://doi.org/10.2178/bsl/1082986262","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CULeuclid:euclid.bsl/1082986262","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.bsl/1082986262","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/705d51e0-dd1c-4ee5-a840-0a5deed69b23","is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/erdoes-graphs-resolve-fines-canonicity-problem(705d51e0-dd1c-4ee5-a840-0a5deed69b23).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"The Bulletin of Symbolic Logic, 10, 186 - 208. Cambridge University Press","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W5268957","https://openalex.org/W570095099","https://openalex.org/W604004934","https://openalex.org/W1527720545","https://openalex.org/W1528931898","https://openalex.org/W1533515579","https://openalex.org/W1533566785","https://openalex.org/W1547536896","https://openalex.org/W1553145376","https://openalex.org/W1580101121","https://openalex.org/W1600379495","https://openalex.org/W1603162778","https://openalex.org/W1968372691","https://openalex.org/W1968888224","https://openalex.org/W1974064557","https://openalex.org/W1983453585","https://openalex.org/W1987243149","https://openalex.org/W1988376188","https://openalex.org/W1991748341","https://openalex.org/W1992205482","https://openalex.org/W1992670332","https://openalex.org/W1998269853","https://openalex.org/W2004334891","https://openalex.org/W2022922309","https://openalex.org/W2023648368","https://openalex.org/W2033136385","https://openalex.org/W2038216920","https://openalex.org/W2042590814","https://openalex.org/W2069016743","https://openalex.org/W2076862903","https://openalex.org/W2084684966","https://openalex.org/W2087125280","https://openalex.org/W2090190027","https://openalex.org/W2096547828","https://openalex.org/W2115916694","https://openalex.org/W2137410044","https://openalex.org/W2142326607","https://openalex.org/W2144359719","https://openalex.org/W2161439427","https://openalex.org/W2166183262","https://openalex.org/W2286396437","https://openalex.org/W2315064349","https://openalex.org/W2610670723","https://openalex.org/W2798588639","https://openalex.org/W2916550920","https://openalex.org/W2970205057","https://openalex.org/W2971268466","https://openalex.org/W3202414293","https://openalex.org/W4211144022","https://openalex.org/W4229970255","https://openalex.org/W4249653633","https://openalex.org/W4293176479","https://openalex.org/W4388311772","https://openalex.org/W6642357471"],"related_works":["https://openalex.org/W2181667894","https://openalex.org/W2980963558","https://openalex.org/W2105223880","https://openalex.org/W2379048343","https://openalex.org/W2148696453","https://openalex.org/W1882246857","https://openalex.org/W3103304230","https://openalex.org/W4256403421","https://openalex.org/W2185360082","https://openalex.org/W1992365905"],"abstract_inverted_index":{"Abstract":[0],"We":[1],"show":[2],"that":[3,15,49,89],"there":[4,90],"exist":[5],"2":[6],"\u21350":[7],"equational":[8],"classes":[9],"of":[10,23,28,34,42,67,80,87],"Boolean":[11],"algebras":[12,22],"with":[13,94],"operators":[14],"are":[16,91],"not":[17,58],"generated":[18],"by":[19,44],"the":[20,85],"complex":[21],"any":[24,63],"first-order":[25,64],"definable":[26,65],"class":[27,66],"relational":[29],"structures.":[30],"Using":[31],"a":[32,39,46],"variant":[33],"this":[35],"construction,":[36],"we":[37],"resolve":[38],"long-standing":[40],"question":[41],"Fine,":[43],"exhibiting":[45],"bimodal":[47],"logic":[48],"is":[50,57],"valid":[51],"in":[52],"its":[53],"canonical":[54],"frames,":[55],"but":[56],"sound":[59],"and":[60,99],"complete":[61],"for":[62],"Kripke":[68],"frames":[69],"(a":[70],"monomodal":[71],"example":[72],"can":[73],"then":[74],"be":[75],"obtained":[76],"using":[77],"simulation":[78],"results":[79],"Thomason).":[81],"The":[82],"constructions":[83],"use":[84],"result":[86],"Erdos":[88],"finite":[92],"graphs":[93],"arbitrarily":[95],"large":[96],"chromatic":[97],"number":[98],"girth.":[100]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}