{"id":"https://openalex.org/W1898535578","doi":"https://doi.org/10.3233/com-13022","title":"The Arithmetical Hierarchy in the Setting of $\\omega_1$","display_name":"The Arithmetical Hierarchy in the Setting of $\\omega_1$","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W1898535578","doi":"https://doi.org/10.3233/com-13022","mag":"1898535578"},"language":"en","primary_location":{"id":"pmh:oai:repository.wellesley.edu:scholarship-1124","is_oa":true,"landing_page_url":"https://repository.wellesley.edu/scholarship/124","pdf_url":"https://repository.wellesley.edu/scholarship/124","source":{"id":"https://openalex.org/S4377196571","display_name":"Wellesley College Digital RepositoryWellesley (Wellesley College)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189731429","host_organization_name":"Wellesley College","host_organization_lineage":["https://openalex.org/I189731429"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Faculty Research and Scholarship","raw_type":"text"},"type":"article","indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://repository.wellesley.edu/scholarship/124","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046525814","display_name":"Jacob Carson","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jacob Carson","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109339090","display_name":"Jesse Johnson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jesse Johnson","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112811349","display_name":"Julia F. Knight","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Julia F. Knight","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077559962","display_name":"Karen Lange","orcid":"https://orcid.org/0000-0003-4311-0499"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Karen Lange","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-4311-0499","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067959846","display_name":"Charles McCoy","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Charles McCoy","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5044062358","display_name":"John Wallbaum","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John Wallbaum","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5046525814"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4478,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.61190952,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"2","issue":"2","first_page":"93","last_page":"105"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9998000264167786,"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/T12002","display_name":"Computability, Logic, AI Algorithms","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/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9853000044822693,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/countable-set","display_name":"Countable set","score":0.8652631044387817},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.8091126680374146},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7717044353485107},{"id":"https://openalex.org/keywords/arithmetic-function","display_name":"Arithmetic function","score":0.6864780187606812},{"id":"https://openalex.org/keywords/natural-number","display_name":"Natural number","score":0.4835086166858673},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.45037519931793213},{"id":"https://openalex.org/keywords/omega","display_name":"Omega","score":0.42223289608955383},{"id":"https://openalex.org/keywords/borel-hierarchy","display_name":"Borel hierarchy","score":0.422105610370636},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.36858969926834106},{"id":"https://openalex.org/keywords/borel-measure","display_name":"Borel measure","score":0.1255524754524231},{"id":"https://openalex.org/keywords/probability-measure","display_name":"Probability measure","score":0.05555492639541626}],"concepts":[{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.8652631044387817},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.8091126680374146},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7717044353485107},{"id":"https://openalex.org/C112343008","wikidata":"https://www.wikidata.org/wiki/Q140744","display_name":"Arithmetic function","level":2,"score":0.6864780187606812},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.4835086166858673},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.45037519931793213},{"id":"https://openalex.org/C2779557605","wikidata":"https://www.wikidata.org/wiki/Q9890","display_name":"Omega","level":2,"score":0.42223289608955383},{"id":"https://openalex.org/C25942563","wikidata":"https://www.wikidata.org/wiki/Q893487","display_name":"Borel hierarchy","level":4,"score":0.422105610370636},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.36858969926834106},{"id":"https://openalex.org/C166758865","wikidata":"https://www.wikidata.org/wiki/Q892585","display_name":"Borel measure","level":3,"score":0.1255524754524231},{"id":"https://openalex.org/C21031990","wikidata":"https://www.wikidata.org/wiki/Q355020","display_name":"Probability measure","level":2,"score":0.05555492639541626},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:repository.wellesley.edu:scholarship-1124","is_oa":true,"landing_page_url":"https://repository.wellesley.edu/scholarship/124","pdf_url":"https://repository.wellesley.edu/scholarship/124","source":{"id":"https://openalex.org/S4377196571","display_name":"Wellesley College Digital RepositoryWellesley (Wellesley College)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189731429","host_organization_name":"Wellesley College","host_organization_lineage":["https://openalex.org/I189731429"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Faculty Research and Scholarship","raw_type":"text"},{"id":"mag:1898535578","is_oa":false,"landing_page_url":"https://content.iospress.com/articles/computability/com022","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":null,"is_accepted":false,"is_published":null,"raw_source_name":"Computability","raw_type":null}],"best_oa_location":{"id":"pmh:oai:repository.wellesley.edu:scholarship-1124","is_oa":true,"landing_page_url":"https://repository.wellesley.edu/scholarship/124","pdf_url":"https://repository.wellesley.edu/scholarship/124","source":{"id":"https://openalex.org/S4377196571","display_name":"Wellesley College Digital RepositoryWellesley (Wellesley College)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189731429","host_organization_name":"Wellesley College","host_organization_lineage":["https://openalex.org/I189731429"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Faculty Research and Scholarship","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1898535578.pdf","grobid_xml":"https://content.openalex.org/works/W1898535578.grobid-xml"},"referenced_works_count":4,"referenced_works":["https://openalex.org/W1976089169","https://openalex.org/W1982821787","https://openalex.org/W2042181181","https://openalex.org/W2122092051"],"related_works":["https://openalex.org/W2294966264","https://openalex.org/W2047923539","https://openalex.org/W2778271082","https://openalex.org/W1038053132","https://openalex.org/W2164958327","https://openalex.org/W1491710345","https://openalex.org/W1509342882","https://openalex.org/W2035905643","https://openalex.org/W2134347995","https://openalex.org/W1782244868","https://openalex.org/W149671515","https://openalex.org/W2205640427","https://openalex.org/W3092261656","https://openalex.org/W2767252625","https://openalex.org/W2150923863","https://openalex.org/W2054365997","https://openalex.org/W2070505363","https://openalex.org/W2107232728","https://openalex.org/W2100730815","https://openalex.org/W1482930854"],"abstract_inverted_index":{"We":[0,53],"continue":[1],"work":[2],"from":[3,103],"(Greenberg":[4],"and":[5,26,70,95,105,108],"Knight)":[6],"on":[7,62,74],"computable":[8,88,127],"structure":[9],"theory":[10],"in":[11,120],"the":[12,17,21,30,36,41,50,63,67,71,75,79,100,133,137,141,147,150,154],"setting":[13],"of":[14,23,32,58,66,78,99,140,153],"$\\\\omega_1$,":[15],"where":[16],"countable":[18,27,46,93],"ordinals":[19],"play":[20,29],"role":[22,31],"natural":[24],"numbers,":[25],"sets":[28],"finite":[33,51],"sets.":[34],"In":[35],"present":[37],"paper,":[38],"we":[39,86,96,131,144],"define":[40,87],"arithmetical":[42,142],"hierarchy":[43,156],"through":[44,91],"all":[45,92],"levels":[47],"(not":[48],"just":[49,119],"levels).":[52],"consider":[54],"two":[55,138],"different":[56],"ways":[57],"doing":[59],"this\u2014one":[60],"based":[61,73],"standard":[64,76,151],"definition":[65,77,148,152],"hyperarithmetical":[68,155],"hierarchy,":[69,143],"other":[72],"effective":[80],"Borel":[81],"hierarchy.":[82],"For":[83],"each":[84],"definition,":[85],"infinitary":[89],"formulas":[90],"levels,":[94],"obtain":[97,132],"analogues":[98],"well-known":[101],"results":[102,135],"(Ash":[104],"Knight,":[106],"1989)":[107],"(Chisholm,":[109],"1990)":[110],"saying":[111],"that":[112,146],"a":[113,126],"relation":[114],"is":[115,123],"relatively":[116],"intrinsically":[117],"$\\\\Sigma^0_\\\\alpha$":[118],"case":[121],"it":[122],"definable":[124],"by":[125],"$\\\\Sigma_\\\\alpha$":[128],"formula.":[129],"Although":[130],"same":[134],"for":[136],"definitions":[139],"conclude":[145],"resembling":[149],"seems":[157],"preferable.":[158]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-04-28T14:05:53.105641","created_date":"2025-10-10T00:00:00"}