{"id":"https://openalex.org/W1991582829","doi":"https://doi.org/10.2307/2272832","title":"Three universal representations of recursively enumerable sets","display_name":"Three universal representations of recursively enumerable sets","publication_year":1978,"publication_date":"1978-06-01","ids":{"openalex":"https://openalex.org/W1991582829","doi":"https://doi.org/10.2307/2272832","mag":"1991582829"},"language":"en","primary_location":{"id":"doi:10.2307/2272832","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2272832","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":"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/A5054306957","display_name":"James P. Jones","orcid":null},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"James P. Jones","raw_affiliation_strings":["Department of Mathematics and Statistics, University of Calgary, Calgary T2N 1N4, Canada","University of Calgary"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics, University of Calgary, Calgary T2N 1N4, Canada","institution_ids":["https://openalex.org/I168635309"]},{"raw_affiliation_string":"University of Calgary","institution_ids":["https://openalex.org/I168635309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5054306957"],"corresponding_institution_ids":["https://openalex.org/I168635309"],"apc_list":null,"apc_paid":null,"fwci":6.8042,"has_fulltext":false,"cited_by_count":32,"citation_normalized_percentile":{"value":0.96154428,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"43","issue":"2","first_page":"335","last_page":"351"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9897000193595886,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9897000193595886,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9897000193595886,"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/T10258","display_name":"Philosophy and Theoretical Science","score":0.9790999889373779,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.957240879535675},{"id":"https://openalex.org/keywords/recursively-enumerable-language","display_name":"Recursively enumerable language","score":0.8002399206161499},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6404939889907837},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5259590148925781},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.5211829543113708},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5204139351844788},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.498854398727417},{"id":"https://openalex.org/keywords/halting-problem","display_name":"Halting problem","score":0.47327566146850586},{"id":"https://openalex.org/keywords/axiomatic-system","display_name":"Axiomatic system","score":0.45709317922592163},{"id":"https://openalex.org/keywords/recursively-enumerable-set","display_name":"Recursively enumerable set","score":0.42273059487342834},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3657236695289612},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2215154469013214},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.218622624874115},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.1986469328403473}],"concepts":[{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.957240879535675},{"id":"https://openalex.org/C203702658","wikidata":"https://www.wikidata.org/wiki/Q1073063","display_name":"Recursively enumerable language","level":2,"score":0.8002399206161499},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6404939889907837},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5259590148925781},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.5211829543113708},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5204139351844788},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.498854398727417},{"id":"https://openalex.org/C137343475","wikidata":"https://www.wikidata.org/wiki/Q622849","display_name":"Halting problem","level":4,"score":0.47327566146850586},{"id":"https://openalex.org/C125773388","wikidata":"https://www.wikidata.org/wiki/Q792542","display_name":"Axiomatic system","level":3,"score":0.45709317922592163},{"id":"https://openalex.org/C52703633","wikidata":"https://www.wikidata.org/wiki/Q676835","display_name":"Recursively enumerable set","level":3,"score":0.42273059487342834},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3657236695289612},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2215154469013214},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.218622624874115},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.1986469328403473},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2272832","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2272832","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":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183740210","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183740210","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1410802937","https://openalex.org/W1522991784","https://openalex.org/W1553867374","https://openalex.org/W1983561917","https://openalex.org/W1995970600","https://openalex.org/W2004193076","https://openalex.org/W2007089758","https://openalex.org/W2056140479","https://openalex.org/W2071093314","https://openalex.org/W2073267598","https://openalex.org/W2090454101","https://openalex.org/W2096478770","https://openalex.org/W2102743423","https://openalex.org/W2114804254","https://openalex.org/W2146755812","https://openalex.org/W2307848849","https://openalex.org/W2314350189","https://openalex.org/W3130727218","https://openalex.org/W4231758719","https://openalex.org/W4256369010","https://openalex.org/W4403297573"],"related_works":["https://openalex.org/W2901084331","https://openalex.org/W1526277826","https://openalex.org/W2066136688","https://openalex.org/W2048614185","https://openalex.org/W2912766821","https://openalex.org/W1791602674","https://openalex.org/W1978292968","https://openalex.org/W3099922764","https://openalex.org/W1510002872","https://openalex.org/W1991582829"],"abstract_inverted_index":{"In":[0,122],"his":[1],"celebrated":[2],"paper":[3],"of":[4,12,19,46,56,90,175,197,202,217,244],"1931":[5],"[7],":[6],"Kurt":[7],"G\u00f6del":[8,198],"proved":[9,81],"the":[10,16,42,54,144,162,193,203,235],"existence":[11],"sentences":[13],"undecidable":[14,94,129,160,191,248],"in":[15,68,135,143,151,161,192,249],"axiomatized":[17],"theory":[18],"numbers.":[20],"G\u00f6del's":[21,39,57,209,228],"proof":[22],"is":[23,88,141,148,159,183,190,223,247],"constructive":[24],"and":[25,71,225],"such":[26,86,219],"a":[27,104,215],"sentence":[28],"may":[29],"actually":[30],"be":[31,45,232],"written":[32,149],"out.":[33],"Of":[34],"course,":[35],"if":[36],"we":[37,125],"follow":[38],"original":[40],"procedure":[41],"formula":[43,140,158,236],"will":[44],"enormous":[47,63],"length.":[48],"Forty-five":[49],"years":[50],"have":[51,79,99],"passed":[52],"since":[53],"appearance":[55],"pioneering":[58],"work.":[59],"During":[60],"this":[61,123],"time":[62],"progress":[64],"has":[65],"been":[66,80],"made":[67],"mathematical":[69,77],"logic":[70],"recursive":[72,163],"function":[73],"theory.":[74],"Many":[75],"different":[76],"problems":[78],"recursively":[82],"unsolvable.":[83],"Theoretically":[84],"each":[85],"result":[87],"capable":[89],"producing":[91],"an":[92,127],"explicit":[93,128,142],"number":[95],"theoretic":[96],"predicate.":[97],"We":[98],"only":[100],"to":[101,170,207],"carry":[102],"out":[103,116,150],"suitable":[105],"arithmetization.":[106],"Until":[107],"recently,":[108],"however,":[109],"techniques":[110],"were":[111],"not":[112,180],"available":[113],"for":[114,172],"carrying":[115],"these":[117],"arithmetizations":[118],"with":[119,154],"sufficient":[120],"efficiency.":[121],"article":[124],"construct":[126],"arithmetical":[130],"formula,":[131],"F(x,":[132],"n)":[133,182,189,222,238,246],",":[134,177],"prenex":[136],"normal":[137],"form.":[138],"The":[139,157],"sense":[145,164,196],"that":[146,165,220],"it":[147],"its":[152],"entirety":[153],"no":[155,168],"abbreviations.":[156],"there":[166,213],"exists":[167,214],"algorithm":[169],"decide,":[171],"given":[173],"values":[174],"n":[176,218],"whether":[178],"or":[179,185],"F(n,":[181,188,221,237,245],"true":[184],"false.":[186],"Moreover":[187],"formal":[194],"(axiomatic)":[195],"[7].":[199],"Given":[200],"any":[201],"usual":[204],"axiomatic":[205],"theories":[206],"which":[208],"Incompleteness":[210,229],"Theorem":[211,230],"applies,":[212],"value":[216],"unprovable":[224],"irrefutable.":[226],"Thus":[227,240],"can":[231],"\u201cfocused\u201d":[233],"into":[234],".":[239],"some":[241],"substitution":[242],"instance":[243],"Peano":[250],"arithmetic,":[251],"ZF":[252],"set":[253],"theory,":[254],"etc.":[255]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}