{"id":"https://openalex.org/W2803334365","doi":"https://doi.org/10.3233/com-190254","title":"Degrees of categoricity above limit ordinals","display_name":"Degrees of categoricity above limit ordinals","publication_year":2019,"publication_date":"2019-11-21","ids":{"openalex":"https://openalex.org/W2803334365","doi":"https://doi.org/10.3233/com-190254","mag":"2803334365"},"language":"en","primary_location":{"id":"doi:10.3233/com-190254","is_oa":false,"landing_page_url":"https://doi.org/10.3233/com-190254","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":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1805.10249","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061005365","display_name":"Barbara F. Csima","orcid":null},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Barbara F. Csima","raw_affiliation_strings":["Pure Mathematics, University of Waterloo, Waterloo, ON, Canada","Pure Mathematics, University of Waterloo, Waterloo, ON, Canada. csima@uwaterloo.ca"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Pure Mathematics, University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"Pure Mathematics, University of Waterloo, Waterloo, ON, Canada. csima@uwaterloo.ca","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043795172","display_name":"Michael Deveau","orcid":null},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Michael Deveau","raw_affiliation_strings":["Pure Mathematics, University or Waterloo, Waterloo, ON, Canada","Pure Mathematics, University or Waterloo, Waterloo, ON, Canada. m2deveau@uwaerloo.ca"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Pure Mathematics, University or Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"Pure Mathematics, University or Waterloo, Waterloo, ON, Canada. m2deveau@uwaerloo.ca","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027707580","display_name":"Matthew Harrison\u2010Trainor","orcid":null},"institutions":[{"id":"https://openalex.org/I41156924","display_name":"Victoria University of Wellington","ror":"https://ror.org/0040r6f76","country_code":"NZ","type":"education","lineage":["https://openalex.org/I41156924"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Matthew Harrison-Trainor","raw_affiliation_strings":["Department first, Victoria University of Wellington, Wellington, New Zealand","Department first, Victoria University of Wellington, Wellington, New Zealand. matthew.harrisontrainor@vuw.ac.nz"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department first, Victoria University of Wellington, Wellington, New Zealand","institution_ids":["https://openalex.org/I41156924"]},{"raw_affiliation_string":"Department first, Victoria University of Wellington, Wellington, New Zealand. matthew.harrisontrainor@vuw.ac.nz","institution_ids":["https://openalex.org/I41156924"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086099561","display_name":"Mohammad Assem Mahmoud","orcid":null},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mohammad Assem Mahmoud","raw_affiliation_strings":["Pure Mathematics, University of Waterloo, Waterloo, ON, Canada","Pure Mathematics, University of Waterloo, Waterloo, ON, Canada. mhamdy@uwaterloo.ca"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Pure Mathematics, University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"Pure Mathematics, University of Waterloo, Waterloo, ON, Canada. mhamdy@uwaterloo.ca","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5061005365"],"corresponding_institution_ids":["https://openalex.org/I151746483"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01562731,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"2","first_page":"127","last_page":"137"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","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/T12002","display_name":"Computability, Logic, AI Algorithms","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/T13720","display_name":"Benford\u2019s Law and Fraud Detection","score":0.9921000003814697,"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"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9830999970436096,"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/degree","display_name":"Degree (music)","score":0.869881272315979},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6730895042419434},{"id":"https://openalex.org/keywords/omega","display_name":"Omega","score":0.6005926728248596},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5981003642082214},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.36349111795425415},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.21816223859786987},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.05354085564613342}],"concepts":[{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.869881272315979},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6730895042419434},{"id":"https://openalex.org/C2779557605","wikidata":"https://www.wikidata.org/wiki/Q9890","display_name":"Omega","level":2,"score":0.6005926728248596},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5981003642082214},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.36349111795425415},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.21816223859786987},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.05354085564613342},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.3233/com-190254","is_oa":false,"landing_page_url":"https://doi.org/10.3233/com-190254","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"},{"id":"pmh:oai:arXiv.org:1805.10249","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1805.10249","pdf_url":"https://arxiv.org/pdf/1805.10249","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":null},{"id":"mag:2803334365","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1805.10249","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1805.10249","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1805.10249","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1805.10249","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1805.10249","pdf_url":"https://arxiv.org/pdf/1805.10249","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":null},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8471723920","display_name":null,"funder_award_id":"312501","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"}],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2803334365.pdf","grobid_xml":"https://content.openalex.org/works/W2803334365.grobid-xml"},"referenced_works_count":8,"referenced_works":["https://openalex.org/W1982821787","https://openalex.org/W2013474162","https://openalex.org/W2029067240","https://openalex.org/W2043078465","https://openalex.org/W2076040483","https://openalex.org/W2802461792","https://openalex.org/W2811120022","https://openalex.org/W2885232746"],"related_works":["https://openalex.org/W2989591992","https://openalex.org/W3100375940","https://openalex.org/W2013474162","https://openalex.org/W2811120022","https://openalex.org/W3026366005","https://openalex.org/W2600516693","https://openalex.org/W2911963073","https://openalex.org/W3062138362","https://openalex.org/W616430713","https://openalex.org/W2950444991","https://openalex.org/W2035438180","https://openalex.org/W2353274543","https://openalex.org/W2107828997","https://openalex.org/W1995165876","https://openalex.org/W2000784135","https://openalex.org/W995336465","https://openalex.org/W2046907394","https://openalex.org/W3001759711","https://openalex.org/W2118835180","https://openalex.org/W2259669081"],"abstract_inverted_index":{"A":[0],"computable":[1,24,75],"structure":[2],"[Formula:":[3,27,42,47,54,70,85,107,130],"see":[4,28,43,48,55,71,86,108,131],"text]":[5,72,87,132],"has":[6],"degree":[7,16,37,53,69,80,95,102,117,125,135],"of":[8,17,19,26,59,96,118,136,138,147],"categoricity":[9,137],"d":[10,12],"if":[11],"is":[13,93,115,133],"exactly":[14],"the":[15,52,134],"difficulty":[18],"computing":[20],"isomorphisms":[21],"between":[22],"isomorphic":[23],"copies":[25],"text].":[29],"Fokina,":[30],"Kalimullin,":[31],"and":[32,40,50,64,78,83,105,128,149],"Miller":[33],"showed":[34,66],"that":[35,67,100,123],"every":[36,68,79,101,124],"d.c.e.":[38,81],"in":[39,82,104,127],"above":[41,84,106,129],"text],":[44,49,56,109],"for":[45,73,88,110],"any":[46,74,89],"also":[51,121],"are":[57],"degrees":[58],"categoricity.":[60,97,119],"Later,":[61],"Csima,":[62],"Franklin,":[63],"Shore":[65],"ordinal":[76,91],"\u03b1,":[77,92],"successor":[90],"a":[94,112,116,139,145],"We":[98,120],"show":[99,122],"c.e.":[103,126],"\u03b1":[111],"limit":[113],"ordinal,":[114],"prime":[140],"model,":[141],"making":[142],"progress":[143],"towards":[144],"question":[146],"Bazhenov":[148],"Marchuk.":[150]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}