{"id":"https://openalex.org/W2950144551","doi":"https://doi.org/10.2168/lmcs-1(1:6)2005","title":"The succinctness of first-order logic on linear orders","display_name":"The succinctness of first-order logic on linear orders","publication_year":2005,"publication_date":"2005-06-29","ids":{"openalex":"https://openalex.org/W2950144551","doi":"https://doi.org/10.2168/lmcs-1(1:6)2005","mag":"2950144551"},"language":"en","primary_location":{"id":"doi:10.2168/lmcs-1(1:6)2005","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-1(1:6)2005","pdf_url":"https://lmcs.episciences.org/2276/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/2276/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073893026","display_name":"Martin Grohe","orcid":"https://orcid.org/0000-0002-0292-9142"},"institutions":[{"id":"https://openalex.org/I39343248","display_name":"Humboldt-Universit\u00e4t zu Berlin","ror":"https://ror.org/01hcx6992","country_code":"DE","type":"education","lineage":["https://openalex.org/I39343248"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Martin Grohe","raw_affiliation_strings":["Institut fr Informatik, Humboldt-Universitt, Unter den Linden 6, D-10099 Berlin, Germany","Institut f\u00fcr Informatik, Humboldt-Universit\u00e4t, Unter den Linden 6, D-10099 Berlin, Germany"],"raw_orcid":"https://orcid.org/0000-0002-0292-9142","affiliations":[{"raw_affiliation_string":"Institut fr Informatik, Humboldt-Universitt, Unter den Linden 6, D-10099 Berlin, Germany","institution_ids":["https://openalex.org/I39343248"]},{"raw_affiliation_string":"Institut f\u00fcr Informatik, Humboldt-Universit\u00e4t, Unter den Linden 6, D-10099 Berlin, Germany","institution_ids":["https://openalex.org/I39343248"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019365566","display_name":"Nicole Schweikardt","orcid":"https://orcid.org/0000-0001-5705-1675"},"institutions":[{"id":"https://openalex.org/I39343248","display_name":"Humboldt-Universit\u00e4t zu Berlin","ror":"https://ror.org/01hcx6992","country_code":"DE","type":"education","lineage":["https://openalex.org/I39343248"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Nicole Schweikardt","raw_affiliation_strings":["Institut fr Informatik, Humboldt-Universitt, Unter den Linden 6, D-10099 Berlin, Germany","Institut f\u00fcr Informatik, Humboldt-Universit\u00e4t, Unter den Linden 6, D-10099 Berlin, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut fr Informatik, Humboldt-Universitt, Unter den Linden 6, D-10099 Berlin, Germany","institution_ids":["https://openalex.org/I39343248"]},{"raw_affiliation_string":"Institut f\u00fcr Informatik, Humboldt-Universit\u00e4t, Unter den Linden 6, D-10099 Berlin, Germany","institution_ids":["https://openalex.org/I39343248"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.3613,"has_fulltext":true,"cited_by_count":40,"citation_normalized_percentile":{"value":0.89542484,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"Volume 1, Issue 1","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9979000091552734,"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.9979000091552734,"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"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9965999722480774,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9944000244140625,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/succinctness","display_name":"Succinctness","score":0.985315203666687},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.7650055885314941},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6293237805366516},{"id":"https://openalex.org/keywords/second-order-logic","display_name":"Second-order logic","score":0.5997719764709473},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5272190570831299},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.5234717130661011},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.5204099416732788},{"id":"https://openalex.org/keywords/substructural-logic","display_name":"Substructural logic","score":0.4675416350364685},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.42589902877807617},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.4241648316383362},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.39532291889190674},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2636890411376953},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.23699411749839783},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.19664251804351807},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.19029530882835388}],"concepts":[{"id":"https://openalex.org/C2776493592","wikidata":"https://www.wikidata.org/wiki/Q5158717","display_name":"Succinctness","level":2,"score":0.985315203666687},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.7650055885314941},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6293237805366516},{"id":"https://openalex.org/C144791301","wikidata":"https://www.wikidata.org/wiki/Q1548746","display_name":"Second-order logic","level":4,"score":0.5997719764709473},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5272190570831299},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.5234717130661011},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.5204099416732788},{"id":"https://openalex.org/C144760519","wikidata":"https://www.wikidata.org/wiki/Q839490","display_name":"Substructural logic","level":4,"score":0.4675416350364685},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.42589902877807617},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.4241648316383362},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.39532291889190674},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2636890411376953},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.23699411749839783},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.19664251804351807},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.19029530882835388},{"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},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.2168/lmcs-1(1:6)2005","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-1(1:6)2005","pdf_url":"https://lmcs.episciences.org/2276/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:cs/0502047","is_oa":true,"landing_page_url":"http://arxiv.org/abs/cs/0502047","pdf_url":"https://arxiv.org/pdf/cs/0502047","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:doaj.org/article:c62bf8d87e9542699d35395c412995d3","is_oa":true,"landing_page_url":"https://doaj.org/article/c62bf8d87e9542699d35395c412995d3","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 1, Issue 1 (2005)","raw_type":"article"},{"id":"pmh:oai:publikationen.ub.uni-frankfurt.de:12553","is_oa":true,"landing_page_url":"http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/12553","pdf_url":null,"source":{"id":"https://openalex.org/S4306400432","display_name":"Publication Server of Goethe University Frankfurt am Main (Goethe University Frankfurt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I114090438","host_organization_name":"Goethe University Frankfurt","host_organization_lineage":["https://openalex.org/I114090438"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"article"}],"best_oa_location":{"id":"doi:10.2168/lmcs-1(1:6)2005","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-1(1:6)2005","pdf_url":"https://lmcs.episciences.org/2276/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2950144551.pdf","grobid_xml":"https://content.openalex.org/works/W2950144551.grobid-xml"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W283550","https://openalex.org/W1482193060","https://openalex.org/W1489366126","https://openalex.org/W1489630028","https://openalex.org/W1528001973","https://openalex.org/W1970599921","https://openalex.org/W1989783863","https://openalex.org/W1998084650","https://openalex.org/W2066585576","https://openalex.org/W2069044506","https://openalex.org/W2070632872","https://openalex.org/W2098171268","https://openalex.org/W2114240051","https://openalex.org/W2131159347","https://openalex.org/W2136195897","https://openalex.org/W2137257773","https://openalex.org/W2137931097","https://openalex.org/W2161892027","https://openalex.org/W2175748456","https://openalex.org/W2950144551","https://openalex.org/W4236835455","https://openalex.org/W4251068495","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2006286500","https://openalex.org/W2137257773","https://openalex.org/W1518114393","https://openalex.org/W4251068495","https://openalex.org/W2950144551","https://openalex.org/W2519871827","https://openalex.org/W1580672106","https://openalex.org/W2037314108","https://openalex.org/W1980103601","https://openalex.org/W2055902822"],"abstract_inverted_index":{"Succinctness":[0],"is":[1,16,68,107,154],"a":[2,13,84],"natural":[3],"measure":[4],"for":[5],"comparing":[6],"the":[7,41,58,71,87,90,100,112,120,137,145],"strength":[8],"of":[9,39,60,75,93,122,130,139],"different":[10],"logics.":[11],"Intuitively,":[12],"logic":[14,21,95,124,142,150],"L_1":[15,36,51],"more":[17,109,156],"succinct":[18,110,157],"than":[19,111,158],"another":[20],"L_2":[22,31],"if":[23],"all":[24],"properties":[25,46],"that":[26,129,136,143],"can":[27,32,47],"be":[28,33,48],"expressed":[29,34,49],"in":[30,35,50],"by":[37,52],"formulas":[38],"(approximately)":[40],"same":[42,101,146],"size,":[43],"but":[44],"some":[45],"(significantly)":[53],"smaller":[54],"formulas.":[55],"We":[56,78,134],"study":[57],"succinctness":[59,121],"logics":[61],"on":[62,96,125,151],"linear":[63,97,126,152],"orders.":[64],"Our":[65,115],"first":[66],"theorem":[67],"concerned":[69],"with":[70,128],"finite":[72],"variable":[73],"fragments":[74,92],"first-order":[76,94,123,149,159],"logic.":[77,133,160],"prove":[79,135],"that:":[80],"(i)":[81],"Up":[82],"to":[83],"polynomial":[85],"factor,":[86],"2-":[88],"and":[89],"3-variable":[91,113],"orders":[98,127,153],"have":[99],"succinctness.":[102],"(ii)":[103],"The":[104],"4-variable":[105],"fragment":[106,138],"exponentially":[108],"fragment.":[114],"second":[116],"main":[117],"result":[118],"compares":[119],"monadic":[131,140],"second-order":[132,141],"has":[144],"expressiveness":[147],"as":[148],"non-elementarily":[155]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}