{"id":"https://openalex.org/W7116979788","doi":"https://doi.org/10.1177/22113568241310506","title":"Set descriptive complexity of solvable functions","display_name":"Set descriptive complexity of solvable functions","publication_year":2025,"publication_date":"2025-11-01","ids":{"openalex":"https://openalex.org/W7116979788","doi":"https://doi.org/10.1177/22113568241310506"},"language":"en","primary_location":{"id":"doi:10.1177/22113568241310506","is_oa":false,"landing_page_url":"https://doi.org/10.1177/22113568241310506","pdf_url":null,"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":null,"license_id":null,"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067372819","display_name":"Olivier Bournez","orcid":"https://orcid.org/0000-0002-9218-1130"},"institutions":[{"id":"https://openalex.org/I142476485","display_name":"\u00c9cole Polytechnique","ror":"https://ror.org/05hy3tk52","country_code":"FR","type":"education","lineage":["https://openalex.org/I142476485","https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Olivier Bournez","raw_affiliation_strings":["LIX, Ecole Polytechnique, Institut Polytechnique de Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIX, Ecole Polytechnique, Institut Polytechnique de Paris, France","institution_ids":["https://openalex.org/I142476485"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086559936","display_name":"Riccardo Gozzi","orcid":"https://orcid.org/0009-0007-0210-8508"},"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/I2800365227","display_name":"Paris-Est Sup","ror":"https://ror.org/0268ecp52","country_code":"FR","type":"education","lineage":["https://openalex.org/I2800365227"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Riccardo Gozzi","raw_affiliation_strings":["LACL, University Paris-Est Cr\u00e9teil Val de Marne, France"],"raw_orcid":"https://orcid.org/0009-0007-0210-8508","affiliations":[{"raw_affiliation_string":"LACL, University Paris-Est Cr\u00e9teil Val de Marne, France","institution_ids":["https://openalex.org/I2800365227","https://openalex.org/I197681013"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5086559936"],"corresponding_institution_ids":["https://openalex.org/I197681013","https://openalex.org/I2800365227"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.68403079,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"14","issue":"3-4","first_page":"178","last_page":"197"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.2290000021457672,"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.2290000021457672,"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.2224999964237213,"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/T10142","display_name":"Formal Methods in Verification","score":0.10639999806880951,"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/transfinite-number","display_name":"Transfinite number","score":0.8269000053405762},{"id":"https://openalex.org/keywords/uncountable-set","display_name":"Uncountable set","score":0.6333000063896179},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5864999890327454},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.5098999738693237},{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.4950000047683716},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.49050000309944153},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.48500001430511475},{"id":"https://openalex.org/keywords/turing","display_name":"Turing","score":0.42899999022483826},{"id":"https://openalex.org/keywords/limit","display_name":"Limit (mathematics)","score":0.42260000109672546},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.41290000081062317}],"concepts":[{"id":"https://openalex.org/C147358099","wikidata":"https://www.wikidata.org/wiki/Q1069891","display_name":"Transfinite number","level":2,"score":0.8269000053405762},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7168999910354614},{"id":"https://openalex.org/C142399903","wikidata":"https://www.wikidata.org/wiki/Q1128796","display_name":"Uncountable set","level":3,"score":0.6333000063896179},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5864999890327454},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5170000195503235},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.5098999738693237},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.4950000047683716},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.49050000309944153},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48500001430511475},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.42899999022483826},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.42260000109672546},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.41290000081062317},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.4072999954223633},{"id":"https://openalex.org/C189430467","wikidata":"https://www.wikidata.org/wiki/Q7293293","display_name":"Ranking (information retrieval)","level":2,"score":0.4034000039100647},{"id":"https://openalex.org/C51337361","wikidata":"https://www.wikidata.org/wiki/Q1825444","display_name":"Limit set","level":3,"score":0.38920000195503235},{"id":"https://openalex.org/C199879729","wikidata":"https://www.wikidata.org/wiki/Q205140","display_name":"Infinite set","level":3,"score":0.3677000105381012},{"id":"https://openalex.org/C33962884","wikidata":"https://www.wikidata.org/wiki/Q378637","display_name":"Dynamical system (definition)","level":3,"score":0.3617999851703644},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.3564000129699707},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.33219999074935913},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.32600000500679016},{"id":"https://openalex.org/C148043351","wikidata":"https://www.wikidata.org/wiki/Q4456944","display_name":"Current (fluid)","level":2,"score":0.3228999972343445},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.3021000027656555},{"id":"https://openalex.org/C51544822","wikidata":"https://www.wikidata.org/wiki/Q465274","display_name":"Ordinary differential equation","level":3,"score":0.29829999804496765},{"id":"https://openalex.org/C102565666","wikidata":"https://www.wikidata.org/wiki/Q1378301","display_name":"Universal set","level":3,"score":0.2946000099182129},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.29190000891685486},{"id":"https://openalex.org/C95611797","wikidata":"https://www.wikidata.org/wiki/Q17502105","display_name":"Infimum and supremum","level":2,"score":0.29109999537467957},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.28850001096725464},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.28600001335144043},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.2768000066280365},{"id":"https://openalex.org/C2778408900","wikidata":"https://www.wikidata.org/wiki/Q1329258","display_name":"Cardinal number (linguistics)","level":2,"score":0.2750999927520752},{"id":"https://openalex.org/C125773388","wikidata":"https://www.wikidata.org/wiki/Q792542","display_name":"Axiomatic system","level":3,"score":0.273499995470047},{"id":"https://openalex.org/C54271186","wikidata":"https://www.wikidata.org/wiki/Q1148456","display_name":"Computable function","level":2,"score":0.27320000529289246},{"id":"https://openalex.org/C61994974","wikidata":"https://www.wikidata.org/wiki/Q2297602","display_name":"Integer sequence","level":3,"score":0.27059999108314514},{"id":"https://openalex.org/C137343475","wikidata":"https://www.wikidata.org/wiki/Q622849","display_name":"Halting problem","level":4,"score":0.25609999895095825},{"id":"https://openalex.org/C94020503","wikidata":"https://www.wikidata.org/wiki/Q12916","display_name":"Real number","level":2,"score":0.2556000053882599},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.25450000166893005}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1177/22113568241310506","is_oa":false,"landing_page_url":"https://doi.org/10.1177/22113568241310506","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computability","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1035147685","https://openalex.org/W1519719082","https://openalex.org/W1538838225","https://openalex.org/W1580091146","https://openalex.org/W2000167828","https://openalex.org/W2014107656","https://openalex.org/W2016427880","https://openalex.org/W2072203635","https://openalex.org/W2134103450","https://openalex.org/W2324440993","https://openalex.org/W2765745770","https://openalex.org/W2963290555","https://openalex.org/W2963345040","https://openalex.org/W4233662453","https://openalex.org/W4235516089","https://openalex.org/W4293078920","https://openalex.org/W4294266235","https://openalex.org/W4300665568","https://openalex.org/W4360999625","https://openalex.org/W4407396799"],"related_works":[],"abstract_inverted_index":{"In":[0,99],"a":[1,8,19,39,42,52,55,66,76,118,128],"recent":[2],"article,":[3,102],"we":[4,103,126],"introduced":[5],"and":[6,141,158],"studied":[7],"precise":[9],"class":[10,122],"of":[11,54,57,79,91,123,134],"dynamical":[12],"systems":[13,16,32,93],"called":[14],"solvable":[15,28,92,108,139],"that":[17,88,163],"present":[18],"dynamic":[20],"ruled":[21],"by":[22],"discontinuous":[23],"ordinary":[24],"differential":[25],"equations":[26],"with":[27,120,137,145,154],"right-hand":[29],"terms.":[30],"These":[31],"are":[33],"interesting":[34],"because,":[35],"when":[36],"they":[37],"exhibit":[38],"unique":[40],"evolution,":[41],"transfinite":[43],"method":[44],"always":[45],"exists":[46],"to":[47],"define":[48],"such":[49],"evolution":[50],"as":[51],"limit":[53],"sequence":[56],"continuous":[58],"functions.":[59],"We":[60,161],"also":[61],"presented":[62],"several":[63],"examples":[64],"including":[65],"nontrivial":[67],"one":[68],"whose":[69],"solution":[70],"yields,":[71],"at":[72],"an":[73],"integer":[74],"time,":[75],"real":[77,135],"encoding":[78],"the":[80,89,100,121,132,155,169],"halting":[81],"set":[82,114,133],"for":[83,149],"Turing":[84,97],"machines;":[85],"therefore":[86],"showcasing":[87],"behavior":[90],"might":[94],"describe":[95],"ordinal":[96],"computations.":[98],"current":[101],"study":[104],"in":[105,152],"more":[106],"depth":[107],"systems,":[109],"using":[110],"tools":[111],"from":[112],"descriptive":[113],"theory.":[115],"By":[116],"establishing":[117],"correspondence":[119],"well-founded":[124],"trees,":[125],"construct":[127],"coanalytic":[129],"ranking":[130,165],"over":[131],"functions":[136],"bounded,":[138],"derivatives":[140],"discuss":[142],"its":[143],"relation":[144],"other":[146],"existing":[147],"rankings":[148],"differentiable":[150],"functions,":[151],"particular":[153],"Kechris\u2013Woodin,":[156],"Denjoy,":[157],"Zalcwasser":[159],"ranking.":[160],"prove":[162],"our":[164],"is":[166],"unbounded":[167],"below":[168],"first":[170],"uncountable":[171],"ordinal.":[172]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-12-23T00:00:00"}