{"id":"https://openalex.org/W2050882054","doi":"https://doi.org/10.1142/s0219061310000912","title":"COMPUTABLE STRUCTURES OF RANK $\\omega_{1}^{{\\rm CK}}$","display_name":"COMPUTABLE STRUCTURES OF RANK $\\omega_{1}^{{\\rm CK}}$","publication_year":2010,"publication_date":"2010-06-01","ids":{"openalex":"https://openalex.org/W2050882054","doi":"https://doi.org/10.1142/s0219061310000912","mag":"2050882054"},"language":"en","primary_location":{"id":"doi:10.1142/s0219061310000912","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0219061310000912","pdf_url":null,"source":{"id":"https://openalex.org/S29890666","display_name":"Journal of Mathematical Logic","issn_l":"0219-0613","issn":["0219-0613","1793-6691"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Mathematical 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/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":true,"raw_author_name":"J. F. KNIGHT","raw_affiliation_strings":["Department of Mathematics, University of Notre Dame, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Notre Dame, USA","institution_ids":["https://openalex.org/I107639228"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002460295","display_name":"Jessica Millar","orcid":"https://orcid.org/0000-0002-5955-9664"},"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":"J. MILLAR","raw_affiliation_strings":["Department of Mathematics, University of Notre Dame, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Notre Dame, USA","institution_ids":["https://openalex.org/I107639228"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5112811349"],"corresponding_institution_ids":["https://openalex.org/I107639228"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.12611287,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"10","issue":"01n02","first_page":"31","last_page":"43"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998000264167786,"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.9998000264167786,"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.9976000189781189,"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/T11567","display_name":"semigroups and automata theory","score":0.9743000268936157,"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/rank","display_name":"Rank (graph theory)","score":0.775795578956604},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7336188554763794},{"id":"https://openalex.org/keywords/computable-analysis","display_name":"Computable analysis","score":0.6873375773429871},{"id":"https://openalex.org/keywords/countable-set","display_name":"Countable set","score":0.6595931649208069},{"id":"https://openalex.org/keywords/omega","display_name":"Omega","score":0.5510606169700623},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.5011014938354492},{"id":"https://openalex.org/keywords/computable-function","display_name":"Computable function","score":0.45870837569236755},{"id":"https://openalex.org/keywords/arithmetic-function","display_name":"Arithmetic function","score":0.4566989243030548},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.44710665941238403},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4370126724243164},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.13464686274528503}],"concepts":[{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.775795578956604},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7336188554763794},{"id":"https://openalex.org/C27318111","wikidata":"https://www.wikidata.org/wiki/Q5157264","display_name":"Computable analysis","level":3,"score":0.6873375773429871},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.6595931649208069},{"id":"https://openalex.org/C2779557605","wikidata":"https://www.wikidata.org/wiki/Q9890","display_name":"Omega","level":2,"score":0.5510606169700623},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.5011014938354492},{"id":"https://openalex.org/C54271186","wikidata":"https://www.wikidata.org/wiki/Q1148456","display_name":"Computable function","level":2,"score":0.45870837569236755},{"id":"https://openalex.org/C112343008","wikidata":"https://www.wikidata.org/wiki/Q140744","display_name":"Arithmetic function","level":2,"score":0.4566989243030548},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.44710665941238403},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4370126724243164},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.13464686274528503},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","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":1,"locations":[{"id":"doi:10.1142/s0219061310000912","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0219061310000912","pdf_url":null,"source":{"id":"https://openalex.org/S29890666","display_name":"Journal of Mathematical Logic","issn_l":"0219-0613","issn":["0219-0613","1793-6691"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Mathematical Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1484013420","https://openalex.org/W1538838225","https://openalex.org/W1971015044","https://openalex.org/W1976089169","https://openalex.org/W1982821787","https://openalex.org/W1985060429","https://openalex.org/W2039687554","https://openalex.org/W2050198215","https://openalex.org/W2067474877","https://openalex.org/W2067940271","https://openalex.org/W2074416304","https://openalex.org/W2163355682","https://openalex.org/W2498536233"],"related_works":["https://openalex.org/W98540345","https://openalex.org/W2046021909","https://openalex.org/W1577501449","https://openalex.org/W1994403863","https://openalex.org/W4206289504","https://openalex.org/W2150482238","https://openalex.org/W2527631632","https://openalex.org/W153068418","https://openalex.org/W197714092","https://openalex.org/W4206028083"],"abstract_inverted_index":{"For":[0,12],"countable":[1],"structure,":[2,15],"\"Scott":[3],"rank\"":[4],"provides":[5],"a":[6,13,56,84],"measure":[7],"of":[8,29,32,42,59,95],"internal,":[9],"model-theoretic":[10],"complexity.":[11],"computable":[14,30,34,57,85],"the":[16,48],"Scott":[17,60],"rank":[18,43,61],"is":[19,38,55],"at":[20],"most":[21],"[Formula:":[22,44,62],"see":[23,45,63],"text].":[24,46,64],"There":[25],"are":[26],"familiar":[27],"examples":[28],"structures":[31],"various":[33],"ranks,":[35],"and":[36,80],"there":[37,54],"an":[39,74,93],"old":[40],"example":[41,76],"In":[47],"present":[49],"paper,":[50],"we":[51],"show":[52],"that":[53],"structure":[58],"We":[65],"give":[66],"two":[67],"different":[68],"constructions.":[69],"The":[70,87],"first":[71],"starts":[72],"with":[73],"arithmetical":[75],"due":[77],"to":[78],"Makkai,":[79],"codes":[81],"it":[82],"into":[83],"structure.":[86],"second":[88],"re-works":[89],"Makkai's":[90],"construction,":[91],"incorporating":[92],"idea":[94],"Sacks.":[96]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}