{"id":"https://openalex.org/W2137507690","doi":"https://doi.org/10.2178/jsl/1245158098","title":"Intrinsic bounds on complexity and definability at limit levels","display_name":"Intrinsic bounds on complexity and definability at limit levels","publication_year":2009,"publication_date":"2009-06-16","ids":{"openalex":"https://openalex.org/W2137507690","doi":"https://doi.org/10.2178/jsl/1245158098","mag":"2137507690"},"language":"en","primary_location":{"id":"doi:10.2178/jsl/1245158098","is_oa":false,"landing_page_url":"https://doi.org/10.2178/jsl/1245158098","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Journal of Symbolic Logic","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/A5010219642","display_name":"John Chisholm","orcid":null},"institutions":[{"id":"https://openalex.org/I117942362","display_name":"Western Illinois University","ror":"https://ror.org/02sshz518","country_code":"US","type":"education","lineage":["https://openalex.org/I117942362"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Chisholm","raw_affiliation_strings":["Department of Mathematics, Western Illinois University, Macomb, Il 61455, USA, E-mail:","Western Illinois University,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Western Illinois University, Macomb, Il 61455, USA, E-mail:","institution_ids":["https://openalex.org/I117942362"]},{"raw_affiliation_string":"Western Illinois University,","institution_ids":["https://openalex.org/I117942362"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Ekaterina B. Fokina","orcid":null},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Ekaterina B. Fokina","raw_affiliation_strings":["Kurt G\u00f6del Research Center for Mathematical Logic, University of Vienna, W\u00e4hringer Strasse 25, A-1090 Wien, Austria, E-mail:","Univ. of Vienna#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kurt G\u00f6del Research Center for Mathematical Logic, University of Vienna, W\u00e4hringer Strasse 25, A-1090 Wien, Austria, E-mail:","institution_ids":["https://openalex.org/I129774422"]},{"raw_affiliation_string":"Univ. of Vienna#TAB#","institution_ids":["https://openalex.org/I129774422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005129928","display_name":"\u0421. \u0421. \u0413\u043e\u043d\u0447\u0430\u0440\u043e\u0432","orcid":"https://orcid.org/0000-0001-7465-1189"},"institutions":[{"id":"https://openalex.org/I4210096862","display_name":"Sobolev Institute of Mathematics","ror":"https://ror.org/00shc0s02","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I1313323035","https://openalex.org/I4210096862","https://openalex.org/I4210124601","https://openalex.org/I4210127387"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Sergey S. Goncharov","raw_affiliation_strings":["Sobolev Institute of Mathematics, Siberian Branch of Ras, 4 Acad, Koptyug Ave. 630090 Novosibirsk, Russia, E-mail:","Sobolev Institute of Mathematics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sobolev Institute of Mathematics, Siberian Branch of Ras, 4 Acad, Koptyug Ave. 630090 Novosibirsk, Russia, E-mail:","institution_ids":["https://openalex.org/I4210096862"]},{"raw_affiliation_string":"Sobolev Institute of Mathematics","institution_ids":["https://openalex.org/I4210096862"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071875842","display_name":"Valentina Harizanov","orcid":"https://orcid.org/0000-0002-6626-5074"},"institutions":[{"id":"https://openalex.org/I193531525","display_name":"George Washington University","ror":"https://ror.org/00y4zzh67","country_code":"US","type":"education","lineage":["https://openalex.org/I193531525"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Valentina S. Harizanov","raw_affiliation_strings":["Department of Mathematics, George Washington University, Government Hall, Room 220, Washington, Dc 20052, USA, E-mail:","george Washington University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, George Washington University, Government Hall, Room 220, Washington, Dc 20052, USA, E-mail:","institution_ids":["https://openalex.org/I193531525"]},{"raw_affiliation_string":"george Washington University","institution_ids":["https://openalex.org/I193531525"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112811349","display_name":"Julia F. Knight","orcid":null},"institutions":[{"id":"https://openalex.org/I107639228","display_name":"University of Notre Dame","ror":"https://ror.org/00mkhxb43","country_code":"US","type":"education","lineage":["https://openalex.org/I107639228"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Julia F. Knight","raw_affiliation_strings":["Department of Mathematics, University of Notre Dame, 255 Hurley Hall, Notre Dame, In 46556, USA, E-mail:","University of Notre Dame"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Notre Dame, 255 Hurley Hall, Notre Dame, In 46556, USA, E-mail:","institution_ids":["https://openalex.org/I107639228"]},{"raw_affiliation_string":"University of Notre Dame","institution_ids":["https://openalex.org/I107639228"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064538822","display_name":"Sara B. Quinn","orcid":"https://orcid.org/0000-0002-5453-8709"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sara Quinn","raw_affiliation_strings":["Department of Mathematics, Northwestern University, 2033 Sheridan Road, Evanston, Il 60208-2730, USA, E-mail:","Northwestern University****"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Northwestern University, 2033 Sheridan Road, Evanston, Il 60208-2730, USA, E-mail:","institution_ids":["https://openalex.org/I111979921"]},{"raw_affiliation_string":"Northwestern University****","institution_ids":["https://openalex.org/I111979921"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.7359,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.84982598,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"74","issue":"3","first_page":"1047","last_page":"1060"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9988999962806702,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9988999962806702,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.9790999889373779,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13720","display_name":"Benford\u2019s Law and Fraud Detection","score":0.9563000202178955,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computable-number","display_name":"Computable number","score":0.8640050888061523},{"id":"https://openalex.org/keywords/successor-cardinal","display_name":"Successor cardinal","score":0.816720724105835},{"id":"https://openalex.org/keywords/limit","display_name":"Limit (mathematics)","score":0.7945920825004578},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.7814638614654541},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7429254651069641},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.45906832814216614},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.44233912229537964},{"id":"https://openalex.org/keywords/gap-theorem","display_name":"Gap theorem","score":0.4348074197769165},{"id":"https://openalex.org/keywords/computable-analysis","display_name":"Computable analysis","score":0.4319417178630829},{"id":"https://openalex.org/keywords/computable-function","display_name":"Computable function","score":0.42495816946029663},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.362803190946579},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.0624086856842041},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.06190377473831177}],"concepts":[{"id":"https://openalex.org/C156382255","wikidata":"https://www.wikidata.org/wiki/Q818895","display_name":"Computable number","level":4,"score":0.8640050888061523},{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.816720724105835},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.7945920825004578},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.7814638614654541},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7429254651069641},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.45906832814216614},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.44233912229537964},{"id":"https://openalex.org/C3853638","wikidata":"https://www.wikidata.org/wiki/Q1314081","display_name":"Gap theorem","level":5,"score":0.4348074197769165},{"id":"https://openalex.org/C27318111","wikidata":"https://www.wikidata.org/wiki/Q5157264","display_name":"Computable analysis","level":3,"score":0.4319417178630829},{"id":"https://openalex.org/C54271186","wikidata":"https://www.wikidata.org/wiki/Q1148456","display_name":"Computable function","level":2,"score":0.42495816946029663},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.362803190946579},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0624086856842041},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.06190377473831177},{"id":"https://openalex.org/C81150689","wikidata":"https://www.wikidata.org/wiki/Q1217677","display_name":"Fundamental theorem of calculus","level":4,"score":0.0},{"id":"https://openalex.org/C206929604","wikidata":"https://www.wikidata.org/wiki/Q530152","display_name":"Picard\u2013Lindel\u00f6f theorem","level":3,"score":0.0},{"id":"https://openalex.org/C45962547","wikidata":"https://www.wikidata.org/wiki/Q1422068","display_name":"Fixed-point theorem","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2178/jsl/1245158098","is_oa":false,"landing_page_url":"https://doi.org/10.2178/jsl/1245158098","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1245158098","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1245158098","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"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":"","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1976089169","https://openalex.org/W1982821787","https://openalex.org/W1985060429","https://openalex.org/W2002729262","https://openalex.org/W2004320988","https://openalex.org/W2015721732","https://openalex.org/W2022832716","https://openalex.org/W2039687554","https://openalex.org/W2044797614","https://openalex.org/W2067940271","https://openalex.org/W2074416304","https://openalex.org/W2166082757","https://openalex.org/W2530006810","https://openalex.org/W2905135108"],"related_works":["https://openalex.org/W1997688386","https://openalex.org/W2007775665","https://openalex.org/W1577501449","https://openalex.org/W2811297303","https://openalex.org/W1480530468","https://openalex.org/W1593562194","https://openalex.org/W1638251065","https://openalex.org/W2471267115","https://openalex.org/W4286434485","https://openalex.org/W2137507690"],"abstract_inverted_index":{"Abstract":[0],"We":[1,32],"show":[2,34],"that":[3,16,35,53],"for":[4,36,89],"every":[5,37],"computable":[6,14,38,46,70,90],"limit":[7,39],"ordinal":[8,40],"\u03b1":[9,41,72,93],",":[10,42,57],"there":[11,43],"is":[12,17,44,54,65],"a":[13,28,45,69],"structure":[15,47],"categorical,":[18],"but":[19,58],"not":[20,26,59,66],"relatively":[21,60],"categorical":[22],"(equivalently,":[23,63],"it":[24,64],"does":[25],"have":[27],"formally":[29],"Scott":[30],"family).":[31],"also":[33],"with":[48,74],"an":[49],"additional":[50],"relation":[51],"R":[52],"intrinsically":[55,61],"on":[56,62],"definable":[67],"by":[68],"\u03a3":[71],"formula":[73],"finitely":[75],"many":[76],"parameters).":[77],"Earlier":[78],"results":[79],"in":[80],"[7],":[81],"[10],":[82],"and":[83],"[8]":[84],"establish":[85],"the":[86],"same":[87],"facts":[88],"successor":[91],"ordinals":[92],".":[94]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}