{"id":"https://openalex.org/W140701301","doi":"https://doi.org/10.1007/978-94-017-0487-8_12","title":"Computability and Enumerability","display_name":"Computability and Enumerability","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W140701301","doi":"https://doi.org/10.1007/978-94-017-0487-8_12","mag":"140701301"},"language":"en","primary_location":{"id":"doi:10.1007/978-94-017-0487-8_12","doi":"https://doi.org/10.1007/978-94-017-0487-8_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-94-017-0487-8_12","pdf_url":null,"source":{"id":"https://openalex.org/S4306463937","display_name":"Springer eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic and Scientific Methods","raw_type":"book-chapter"},"volume":{"id":"https://openalex.org/W594310934","display_name":"Logic and Scientific Methods"},"type":"book-chapter","is_traditional":true,"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/A5023422267","display_name":"Robert Irving Soare","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Robert I. Soare","raw_affiliation_strings":["Department of Mathematics, University of Chicago, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Chicago, USA","institution_ids":["https://openalex.org/I40347166"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5023422267"],"corresponding_institution_ids":["https://openalex.org/I40347166"],"apc_list":null,"apc_paid":null,"fwci":2.5174,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.87354651,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"221","last_page":"237"},"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/T11567","display_name":"semigroups and automata theory","score":0.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/T10126","display_name":"Logic, programming, and type systems","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/computability","display_name":"computability","score":0.9909999966621399},{"id":"https://openalex.org/keywords/turing-computability","display_name":"Turing computability","score":0.9869999885559082},{"id":"https://openalex.org/keywords/computably-enumerable-sets","display_name":"computably enumerable sets","score":0.9769999980926514},{"id":"https://openalex.org/keywords/definability","display_name":"definability","score":0.7770000100135803},{"id":"https://openalex.org/keywords/automorphisms","display_name":"automorphisms","score":0.9459999799728394},{"id":"https://openalex.org/keywords/turing-degrees","display_name":"Turing degrees","score":0.9980000257492065},{"id":"https://openalex.org/keywords/turing-reducibility","display_name":"Turing reducibility","score":0.8830000162124634},{"id":"https://openalex.org/keywords/history-of-computability","display_name":"history of computability","score":0.7710000276565552},{"id":"https://openalex.org/keywords/relative-computability","display_name":"relative computability","score":0.5839999914169312}],"concepts":[{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.8732355833053589},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.8541183471679688},{"id":"https://openalex.org/C111142201","wikidata":"https://www.wikidata.org/wiki/Q818930","display_name":"Computability theory","level":2,"score":0.5967505574226379},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.5611518621444702},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5190587639808655},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.5159257650375366},{"id":"https://openalex.org/C203702658","wikidata":"https://www.wikidata.org/wiki/Q1073063","display_name":"Recursively enumerable language","level":2,"score":0.4112106263637543},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.36529791355133057},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.35409775376319885},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11162936687469482},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-94-017-0487-8_12","doi":"https://doi.org/10.1007/978-94-017-0487-8_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-94-017-0487-8_12","pdf_url":null,"source":{"id":"https://openalex.org/S4306463937","display_name":"Springer eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic and Scientific Methods","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":91,"referenced_works":["https://openalex.org/W57213769","https://openalex.org/W80730616","https://openalex.org/W85482913","https://openalex.org/W150149589","https://openalex.org/W174270456","https://openalex.org/W192067756","https://openalex.org/W574857009","https://openalex.org/W1483568252","https://openalex.org/W1484625174","https://openalex.org/W1485161910","https://openalex.org/W1494994700","https://openalex.org/W1501224804","https://openalex.org/W1510551874","https://openalex.org/W1520909268","https://openalex.org/W1525064220","https://openalex.org/W1538838225","https://openalex.org/W1556737389","https://openalex.org/W1562318894","https://openalex.org/W1563213401","https://openalex.org/W1565120473","https://openalex.org/W1580999956","https://openalex.org/W1607953571","https://openalex.org/W1734944212","https://openalex.org/W1829518246","https://openalex.org/W1896538128","https://openalex.org/W1960494084","https://openalex.org/W1964062928","https://openalex.org/W1967629533","https://openalex.org/W1970654545","https://openalex.org/W1972347230","https://openalex.org/W1984492016","https://openalex.org/W1987574007","https://openalex.org/W1996663206","https://openalex.org/W1996932891","https://openalex.org/W1999479735","https://openalex.org/W2001771035","https://openalex.org/W2002942454","https://openalex.org/W2004459113","https://openalex.org/W2005402036","https://openalex.org/W2013146192","https://openalex.org/W2014540725","https://openalex.org/W2023778211","https://openalex.org/W2033831013","https://openalex.org/W2033914241","https://openalex.org/W2034109862","https://openalex.org/W2036869460","https://openalex.org/W2040094858","https://openalex.org/W2045033949","https://openalex.org/W2060878518","https://openalex.org/W2070646413","https://openalex.org/W2080280205","https://openalex.org/W2081416038","https://openalex.org/W2085869400","https://openalex.org/W2087443598","https://openalex.org/W2089259606","https://openalex.org/W2090146870","https://openalex.org/W2099610644","https://openalex.org/W2114804254","https://openalex.org/W2126160338","https://openalex.org/W2132161762","https://openalex.org/W2145482038","https://openalex.org/W2168058676","https://openalex.org/W2250471400","https://openalex.org/W2315610131","https://openalex.org/W2320296823","https://openalex.org/W2323777246","https://openalex.org/W2325094078","https://openalex.org/W2326418800","https://openalex.org/W2333519779","https://openalex.org/W2335137778","https://openalex.org/W2478857688","https://openalex.org/W2487893106","https://openalex.org/W2502412980","https://openalex.org/W2597893916","https://openalex.org/W2797656628","https://openalex.org/W2936847277","https://openalex.org/W2958814800","https://openalex.org/W2977904728","https://openalex.org/W3024160230","https://openalex.org/W3046529977","https://openalex.org/W3120173222","https://openalex.org/W4206667028","https://openalex.org/W4214827540","https://openalex.org/W4232277851","https://openalex.org/W4238314625","https://openalex.org/W4244319301","https://openalex.org/W4255089244","https://openalex.org/W4256369010","https://openalex.org/W4291166496","https://openalex.org/W4296119740","https://openalex.org/W4388432481"],"related_works":["https://openalex.org/W2168058676","https://openalex.org/W7095826194","https://openalex.org/W4388432481","https://openalex.org/W1539879794","https://openalex.org/W7096430670","https://openalex.org/W2070246900","https://openalex.org/W7097343441","https://openalex.org/W200683887","https://openalex.org/W2186502562","https://openalex.org/W80730616"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}