{"id":"https://openalex.org/W7159636085","doi":"https://doi.org/10.48550/arxiv.2604.27693","title":"Order-invariant cluster first-order logic on graph classes of bounded degree","display_name":"Order-invariant cluster first-order logic on graph classes of bounded degree","publication_year":2026,"publication_date":"2026-04-30","ids":{"openalex":"https://openalex.org/W7159636085","doi":"https://doi.org/10.48550/arxiv.2604.27693"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.27693","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.27693","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.27693","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5122076870","display_name":"Fatemeh Ghasemi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ghasemi, Fatemeh","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5134933022","display_name":"Julien Grange","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Grange, Julien","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.4415000081062317,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.4415000081062317,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.08340000361204147,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.08269999921321869,"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/bounded-function","display_name":"Bounded function","score":0.5960000157356262},{"id":"https://openalex.org/keywords/locality","display_name":"Locality","score":0.5924999713897705},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.4528000056743622},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.4009999930858612},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.3813000023365021},{"id":"https://openalex.org/keywords/dynamic-logic","display_name":"Dynamic logic (digital electronics)","score":0.35749998688697815},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.3447999954223633},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.33399999141693115},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.3276999890804291},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.3122999966144562}],"concepts":[{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5960000157356262},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5936999917030334},{"id":"https://openalex.org/C2779808786","wikidata":"https://www.wikidata.org/wiki/Q6664603","display_name":"Locality","level":2,"score":0.5924999713897705},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4878999888896942},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.4528000056743622},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.4009999930858612},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3813000023365021},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.35749998688697815},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.3447999954223633},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.33399999141693115},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33059999346733093},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.3276999890804291},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.3122999966144562},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.3093000054359436},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.3089999854564667},{"id":"https://openalex.org/C144791301","wikidata":"https://www.wikidata.org/wiki/Q1548746","display_name":"Second-order logic","level":4,"score":0.3059999942779541},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.30559998750686646},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.302700012922287},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.29789999127388},{"id":"https://openalex.org/C171482190","wikidata":"https://www.wikidata.org/wiki/Q3257974","display_name":"Minimal logic","level":5,"score":0.296999990940094},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.2874999940395355},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.28439998626708984},{"id":"https://openalex.org/C19689857","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"Predicate logic","level":3,"score":0.27889999747276306},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.2768000066280365},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.2678999900817871},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.265500009059906},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.2606000006198883},{"id":"https://openalex.org/C164866538","wikidata":"https://www.wikidata.org/wiki/Q367351","display_name":"Cluster (spacecraft)","level":2,"score":0.2563000023365021},{"id":"https://openalex.org/C150889026","wikidata":"https://www.wikidata.org/wiki/Q185502","display_name":"Many-valued logic","level":3,"score":0.25609999895095825},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.25279998779296875},{"id":"https://openalex.org/C144760519","wikidata":"https://www.wikidata.org/wiki/Q839490","display_name":"Substructural logic","level":4,"score":0.2526000142097473},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.251800000667572}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.27693","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.27693","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.27693","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.27693","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,49,87,137],"introduce":[1],"a":[2,9,27,35,144],"new":[3],"logic,":[4],"called":[5],"\\emph{cluster":[6],"first-order":[7,13,55,65,77,135,153,167],"logic},":[8],"restricted":[10],"fragment":[11],"of":[12,43,46,63,76,84,134,160,164],"logic":[14,56,66,78,154],"specifically":[15],"designed":[16],"to":[17,82,131,151],"study":[18],"order":[19,122],"invariance.":[20],"An":[21],"order-invariant":[22,53,165],"formula":[23],"is":[24,41,72,113],"one":[25],"on":[26],"vocabulary":[28],"that":[29,51,75,97,126,139],"contains":[30],"an":[31,121],"order;":[32],"however,":[33],"whether":[34],"structure":[36],"satisfies":[37],"it":[38,80],"or":[39],"not":[40],"independent":[42],"the":[44,47,61,132,158,161],"interpretation":[45],"order.":[48],"show":[50],"while":[52],"cluster":[54],"can":[57,142],"define":[58],"properties":[59],"outside":[60],"scope":[62],"plain":[64,152,166],"in":[67,74],"general,":[68],"its":[69],"expressive":[70,162],"power":[71,163],"included":[73],"when":[79,102],"comes":[81],"classes":[83],"bounded":[85],"degree.":[86],"establish":[88],"this":[89,140],"result":[90],"by":[91],"explicitly":[92],"constructing":[93],"linear":[94],"orders":[95],"such":[96,149],"similar":[98,101],"structures":[99],"remain":[100],"they":[103],"are":[104,127],"expanded":[105],"with":[106],"these":[107],"orders.":[108],"This":[109],"similarity-preserving,":[110],"local-to-global":[111],"approach":[112],"technically":[114],"involved":[115],"and":[116,155],"somewhat":[117],"counterintuitive,":[118],"since":[119],"adding":[120],"usually":[123],"reveals":[124],"distinctions":[125],"otherwise":[128],"hidden":[129],"due":[130],"locality":[133],"logic.":[136,168],"believe":[138],"work":[141],"be":[143],"stepping":[145],"stone":[146],"toward":[147,156],"applying":[148],"techniques":[150],"settling":[157],"question":[159]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-02T00:00:00"}