{"id":"https://openalex.org/W4399670407","doi":"https://doi.org/10.3233/com-230450","title":"Defining long words succinctly in FO and MSO","display_name":"Defining long words succinctly in FO and MSO","publication_year":2024,"publication_date":"2024-06-12","ids":{"openalex":"https://openalex.org/W4399670407","doi":"https://doi.org/10.3233/com-230450"},"language":"en","primary_location":{"id":"doi:10.3233/com-230450","is_oa":true,"landing_page_url":"https://doi.org/10.3233/com-230450","pdf_url":"https://content.iospress.com:443/download/computability/com230450?id=computability%2Fcom230450","source":{"id":"https://openalex.org/S4210231662","display_name":"Computability","issn_l":"2211-3568","issn":["2211-3568","2211-3576"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computability","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://content.iospress.com:443/download/computability/com230450?id=computability%2Fcom230450","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078573449","display_name":"Lauri Hella","orcid":"https://orcid.org/0000-0002-9117-8124"},"institutions":[{"id":"https://openalex.org/I166825849","display_name":"Tampere University","ror":"https://ror.org/033003e23","country_code":"FI","type":"education","lineage":["https://openalex.org/I166825849"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Lauri Hella","raw_affiliation_strings":["Computing Sciences, Tampere University, Finland"],"affiliations":[{"raw_affiliation_string":"Computing Sciences, Tampere University, Finland","institution_ids":["https://openalex.org/I166825849"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043870399","display_name":"Miikka Vilander","orcid":"https://orcid.org/0000-0002-7301-939X"},"institutions":[{"id":"https://openalex.org/I166825849","display_name":"Tampere University","ror":"https://ror.org/033003e23","country_code":"FI","type":"education","lineage":["https://openalex.org/I166825849"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Miikka Vilander","raw_affiliation_strings":["Computing Sciences, Tampere University, Finland"],"affiliations":[{"raw_affiliation_string":"Computing Sciences, Tampere University, Finland","institution_ids":["https://openalex.org/I166825849"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5078573449"],"corresponding_institution_ids":["https://openalex.org/I166825849"],"apc_list":null,"apc_paid":{"value":2150,"currency":"EUR","value_usd":2318},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10865235,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"22"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9995999932289124,"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/T11567","display_name":"semigroups and automata theory","score":0.9995999932289124,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.995199978351593,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.987500011920929,"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/mathematics","display_name":"Mathematics","score":0.8605422973632812},{"id":"https://openalex.org/keywords/quantifier-elimination","display_name":"Quantifier elimination","score":0.6823784112930298},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.6311712265014648},{"id":"https://openalex.org/keywords/quantifier","display_name":"Quantifier (linguistics)","score":0.5985077023506165},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5983626246452332},{"id":"https://openalex.org/keywords/rank","display_name":"Rank (graph theory)","score":0.590591311454773},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.587167501449585},{"id":"https://openalex.org/keywords/tower","display_name":"Tower","score":0.510515570640564},{"id":"https://openalex.org/keywords/quadratic-equation","display_name":"Quadratic equation","score":0.49615558981895447},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.4898082911968231},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.4634656012058258},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.437005877494812},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07689148187637329},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.05834874510765076}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8605422973632812},{"id":"https://openalex.org/C32278780","wikidata":"https://www.wikidata.org/wiki/Q1849020","display_name":"Quantifier elimination","level":2,"score":0.6823784112930298},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.6311712265014648},{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.5985077023506165},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5983626246452332},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.590591311454773},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.587167501449585},{"id":"https://openalex.org/C2777831296","wikidata":"https://www.wikidata.org/wiki/Q12518","display_name":"Tower","level":2,"score":0.510515570640564},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.49615558981895447},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.4898082911968231},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.4634656012058258},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.437005877494812},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07689148187637329},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.05834874510765076},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C147176958","wikidata":"https://www.wikidata.org/wiki/Q77590","display_name":"Civil engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/com-230450","is_oa":true,"landing_page_url":"https://doi.org/10.3233/com-230450","pdf_url":"https://content.iospress.com:443/download/computability/com230450?id=computability%2Fcom230450","source":{"id":"https://openalex.org/S4210231662","display_name":"Computability","issn_l":"2211-3568","issn":["2211-3568","2211-3576"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computability","raw_type":"journal-article"},{"id":"pmh:oai:trepo.tuni.fi:10024/210011","is_oa":true,"landing_page_url":"https://trepo.tuni.fi/handle/10024/210011","pdf_url":null,"source":{"id":"https://openalex.org/S7407055260","display_name":"Trepo - Institutional Repository of Tampere University","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","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.3233/com-230450","is_oa":true,"landing_page_url":"https://doi.org/10.3233/com-230450","pdf_url":"https://content.iospress.com:443/download/computability/com230450?id=computability%2Fcom230450","source":{"id":"https://openalex.org/S4210231662","display_name":"Computability","issn_l":"2211-3568","issn":["2211-3568","2211-3576"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computability","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4399670407.pdf"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W99134498","https://openalex.org/W1489366126","https://openalex.org/W1539025858","https://openalex.org/W1596995530","https://openalex.org/W1966115134","https://openalex.org/W2015081147","https://openalex.org/W2025099804","https://openalex.org/W2026713735","https://openalex.org/W2042177219","https://openalex.org/W2053510959","https://openalex.org/W2131159347","https://openalex.org/W2153048778","https://openalex.org/W4210350201","https://openalex.org/W4226444486","https://openalex.org/W4285212347"],"related_works":["https://openalex.org/W4214737172","https://openalex.org/W3012938552","https://openalex.org/W2324712051","https://openalex.org/W2798639752","https://openalex.org/W1550311267","https://openalex.org/W4287825236","https://openalex.org/W1524103539","https://openalex.org/W1239946963","https://openalex.org/W1973527399","https://openalex.org/W71729059"],"abstract_inverted_index":{"We":[0,39,76],"consider":[1,121],"the":[2,5,68,91,97,110,122],"length":[3],"of":[4,16,34,65,70,74,88,90,94,100,113,127],"longest":[6],"word":[7,86],"definable":[8],"in":[9,37,67],"FO":[10,59,101],"and":[11,60,106,124,132],"MSO":[12,61],"via":[13],"a":[14,48,71],"formula":[15],"size":[17],"n.":[18,38,75],"For":[19,96],"both":[20,58],"logics":[21,129],"we":[22,55,102,120],"obtain":[23,56,103,133],"as":[24,138],"an":[25,31,62],"upper":[26,107],"bound":[27],"for":[28,57,109,136],"this":[29,41],"number":[30],"exponential":[32,63],"tower":[33,64],"height":[35,66],"linear":[36],"prove":[40],"by":[42,81],"counting":[43],"types":[44],"with":[45],"respect":[46],"to":[47],"fixed":[49],"quantifier":[50,114],"rank.":[51],"As":[52],"lower":[53,79,105],"bounds":[54,80,108,135],"order":[69],"rational":[72],"power":[73],"show":[77],"these":[78,128,137],"giving":[82],"concrete":[83],"formulas":[84],"defining":[85],"representations":[87],"levels":[89],"cumulative":[92],"hierarchy":[93],"sets.":[95],"two-variable":[98],"fragment":[99],"quadratic":[104],"definability":[111],"numbers":[112,126],"rank":[115],"k":[116],"fragments.":[117],"In":[118],"addition,":[119],"L\u00f6wenheim\u2013Skolem":[123],"Hanf":[125],"on":[130],"words":[131],"similar":[134],"well.":[139]},"counts_by_year":[],"updated_date":"2026-03-11T06:11:40.159057","created_date":"2025-10-10T00:00:00"}