{"id":"https://openalex.org/W2898403117","doi":"https://doi.org/10.1002/malq.201500070","title":"Spectra and satisfiability for logics with successor and a unary function","display_name":"Spectra and satisfiability for logics with successor and a unary function","publication_year":2018,"publication_date":"2018-10-23","ids":{"openalex":"https://openalex.org/W2898403117","doi":"https://doi.org/10.1002/malq.201500070","mag":"2898403117"},"language":"en","primary_location":{"id":"doi:10.1002/malq.201500070","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201500070","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-01676718","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022807324","display_name":"Arthur Milchior","orcid":null},"institutions":[{"id":"https://openalex.org/I197681013","display_name":"Universit\u00e9 Paris-Est Cr\u00e9teil","ror":"https://ror.org/05ggc9x40","country_code":"FR","type":"education","lineage":["https://openalex.org/I197681013"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I2800365227","display_name":"Paris-Est Sup","ror":"https://ror.org/0268ecp52","country_code":"FR","type":"education","lineage":["https://openalex.org/I2800365227"]},{"id":"https://openalex.org/I4210117673","display_name":"Institut de Recherche en Informatique Fondamentale","ror":"https://ror.org/02krdtz55","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I4210089394","https://openalex.org/I4210117673","https://openalex.org/I4210139971"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Arthur Milchior","raw_affiliation_strings":["Institut de Recherche en Informatique Fondamentale Centre National de la Recherche Scientifique & Universit\u00e9 Paris Diderot \u2013 Paris 7 Case 7014 75205 Paris Cedex 13 France","Laboratoire d'Algorithmique, Complexit\u00e9 et Logique, EA 4219 Universit\u00e9 Paris\u2010Est Cr\u00e9teil Val de Marne 61, avenue du G\u00e9n\u00e9ral de Gaulle 94010 Cr\u00e9teil France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut de Recherche en Informatique Fondamentale Centre National de la Recherche Scientifique & Universit\u00e9 Paris Diderot \u2013 Paris 7 Case 7014 75205 Paris Cedex 13 France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I4210117673"]},{"raw_affiliation_string":"Laboratoire d'Algorithmique, Complexit\u00e9 et Logique, EA 4219 Universit\u00e9 Paris\u2010Est Cr\u00e9teil Val de Marne 61, avenue du G\u00e9n\u00e9ral de Gaulle 94010 Cr\u00e9teil France","institution_ids":["https://openalex.org/I197681013","https://openalex.org/I2800365227"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5022807324"],"corresponding_institution_ids":["https://openalex.org/I197681013","https://openalex.org/I204730241","https://openalex.org/I2800365227","https://openalex.org/I4210117673"],"apc_list":{"value":2900,"currency":"USD","value_usd":2900},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16287144,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"64","issue":"4-5","first_page":"286","last_page":"311"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":1.0,"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":1.0,"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.9994000196456909,"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.9975000023841858,"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/successor-cardinal","display_name":"Successor cardinal","score":0.8078762292861938},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6794107556343079},{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.6610682606697083},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5864698886871338},{"id":"https://openalex.org/keywords/succinctness","display_name":"Succinctness","score":0.5503678321838379},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4754764139652252},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.442116379737854},{"id":"https://openalex.org/keywords/monadic-predicate-calculus","display_name":"Monadic predicate calculus","score":0.4388246536254883},{"id":"https://openalex.org/keywords/second-order-logic","display_name":"Second-order logic","score":0.43660327792167664},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3119274973869324},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.19813555479049683},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.1940368115901947},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.16421598196029663}],"concepts":[{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.8078762292861938},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6794107556343079},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.6610682606697083},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5864698886871338},{"id":"https://openalex.org/C2776493592","wikidata":"https://www.wikidata.org/wiki/Q5158717","display_name":"Succinctness","level":2,"score":0.5503678321838379},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4754764139652252},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.442116379737854},{"id":"https://openalex.org/C124656256","wikidata":"https://www.wikidata.org/wiki/Q6897882","display_name":"Monadic predicate calculus","level":4,"score":0.4388246536254883},{"id":"https://openalex.org/C144791301","wikidata":"https://www.wikidata.org/wiki/Q1548746","display_name":"Second-order logic","level":4,"score":0.43660327792167664},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3119274973869324},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.19813555479049683},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.1940368115901947},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.16421598196029663},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","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},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1002/malq.201500070","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201500070","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01676718v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01676718","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Mathematical Logic Quarterly, In press","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01676718v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01676718","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Mathematical Logic Quarterly, In press","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1549008998","https://openalex.org/W1988192943","https://openalex.org/W2003019252","https://openalex.org/W2004712350","https://openalex.org/W2030999998","https://openalex.org/W2061970672","https://openalex.org/W2065706312","https://openalex.org/W2082738784","https://openalex.org/W2105435789","https://openalex.org/W2114368612","https://openalex.org/W2163696969","https://openalex.org/W2165273951","https://openalex.org/W2210320991","https://openalex.org/W2593471774","https://openalex.org/W4237721941","https://openalex.org/W4256369010"],"related_works":["https://openalex.org/W2033265717","https://openalex.org/W2136195897","https://openalex.org/W1528001973","https://openalex.org/W2055646400","https://openalex.org/W2584847196","https://openalex.org/W1525902921","https://openalex.org/W2584355127","https://openalex.org/W1539443054","https://openalex.org/W2016122306","https://openalex.org/W1545660605"],"abstract_inverted_index":{"Abstract":[0],"We":[1,38],"investigate":[2],"the":[3,11,58,76,103],"expressive":[4],"power":[5],"of":[6,47,57,60,63,75],"two":[7],"logics,":[8],"both":[9],"with":[10,16,31,90],"successor":[12,95],"function:":[13],"first\u2010order":[14,27,88],"logic":[15,28,89],"an":[17],"uninterpreted":[18,92],"function,":[19],"and":[20,94],"existential":[21],"monadic":[22],"second":[23],"order":[24],"logic\u2014that":[25],"is":[26,52,68,85],"over":[29],"words\u2014,":[30],"multiplication":[32],"by":[33],"a":[34,64,70],"constant":[35],"b":[36,42],".":[37],"prove":[39],"that":[40,54,87],"all":[41],"\u2010recognizable":[43],"sets":[44],"are":[45],"spectra":[46],"those":[48,81],"logics.":[49,82],"Furthermore,":[50],"it":[51,84],"proven":[53],"some":[55],"encoding":[56],"set":[59],"halting":[61],"times":[62],"non\u2010deterministic":[65],"2\u2010counter":[66],"automaton":[67],"also":[69],"spectrum.":[71],"This":[72],"yields":[73],"undecidability":[74],"finite":[77],"satisfiability":[78],"problem":[79],"for":[80],"Finally,":[83],"shown":[86],"one":[91],"function":[93],"can":[96],"encode":[97],"quickly":[98],"increasing":[99],"functions,":[100],"such":[101],"as":[102],"Knuth's":[104],"up\u2010arrows.":[105]},"counts_by_year":[],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}