{"id":"https://openalex.org/W2086982547","doi":"https://doi.org/10.1017/s0022481200051847","title":"Selection in abstract recursion theory","display_name":"Selection in abstract recursion theory","publication_year":1976,"publication_date":"1976-03-01","ids":{"openalex":"https://openalex.org/W2086982547","doi":"https://doi.org/10.1017/s0022481200051847","mag":"2086982547"},"language":"en","primary_location":{"id":"doi:10.1017/s0022481200051847","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0022481200051847","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/A5103437344","display_name":"Leo Harrington","orcid":null},"institutions":[{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"education","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"L. A. Harrington","raw_affiliation_strings":["Suny at Buffalo, Amherst, New York 14226"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Suny at Buffalo, Amherst, New York 14226","institution_ids":["https://openalex.org/I63190737"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109205803","display_name":"David MacQueen","orcid":null},"institutions":[{"id":"https://openalex.org/I55061410","display_name":"U.S. Air Force Institute of Technology","ror":"https://ror.org/03f9f1d95","country_code":"US","type":"education","lineage":["https://openalex.org/I1294991024","https://openalex.org/I1330347796","https://openalex.org/I1330347796","https://openalex.org/I2802362820","https://openalex.org/I4210089612","https://openalex.org/I4210102105","https://openalex.org/I4210102105","https://openalex.org/I55061410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"D. B. Macqueen","raw_affiliation_strings":["Air Force Institute of Technology, Wright-Patterson AFB, Ohio 45433"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Air Force Institute of Technology, Wright-Patterson AFB, Ohio 45433","institution_ids":["https://openalex.org/I55061410"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.7424,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.9548312,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"41","issue":"1","first_page":"153","last_page":"158"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","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"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","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"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9681000113487244,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9625999927520752,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.7063230276107788},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.6778818964958191},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.6148986220359802},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5395035743713379},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5300851464271545},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.5277091860771179},{"id":"https://openalex.org/keywords/sketch","display_name":"Sketch","score":0.5271555781364441},{"id":"https://openalex.org/keywords/notice","display_name":"Notice","score":0.4787018597126007},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.47301629185676575},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.46422716975212097},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.4292130172252655},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3580130338668823},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2753485143184662},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.22780349850654602},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07543283700942993}],"concepts":[{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.7063230276107788},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.6778818964958191},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.6148986220359802},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5395035743713379},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5300851464271545},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.5277091860771179},{"id":"https://openalex.org/C2779231336","wikidata":"https://www.wikidata.org/wiki/Q7534724","display_name":"Sketch","level":2,"score":0.5271555781364441},{"id":"https://openalex.org/C2779913896","wikidata":"https://www.wikidata.org/wiki/Q7063001","display_name":"Notice","level":2,"score":0.4787018597126007},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.47301629185676575},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.46422716975212097},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.4292130172252655},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3580130338668823},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2753485143184662},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.22780349850654602},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07543283700942993},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s0022481200051847","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0022481200051847","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/1183739725","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183739725","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W959763519","https://openalex.org/W1004699284","https://openalex.org/W1461091546","https://openalex.org/W1591825827","https://openalex.org/W1963770479","https://openalex.org/W1977707415","https://openalex.org/W1982691200","https://openalex.org/W2004238969","https://openalex.org/W2033831013","https://openalex.org/W4237098375","https://openalex.org/W6651401342"],"related_works":["https://openalex.org/W2378994405","https://openalex.org/W2385974820","https://openalex.org/W2373478030","https://openalex.org/W2378679551","https://openalex.org/W3149739944","https://openalex.org/W2392363776","https://openalex.org/W2063051341","https://openalex.org/W2591066345","https://openalex.org/W1494563618","https://openalex.org/W2079849989"],"abstract_inverted_index":{"In":[0,75,228],"[1]":[1],"Gandy":[2,160],"established":[3],"the":[4,51,154,170,189,195,220],"following":[5],"selection":[6,212],"theorem":[7,69,202,213,224,237],"for":[8,70],"recursion":[9],"in":[10,30,42,54,111,117,124,141,175,226,239],"type-2":[11,19],"objects.":[12,152],"Theorem.":[13,88],"Let":[14,89],"F":[15,31,43,55,71,90,112,118,125,142],"be":[16,91,183],"a":[17,79,92,114,208,216,233],"normal":[18,93],"object.":[20],"Then":[21,102],"it":[22,103],"is":[23,104,203,215],"possible":[24,105],"to":[25,106],"select":[26,107],"(uniformly":[27,108],"and":[28,109,161,245],"effectively":[29,110],")":[32,113],"an":[33,99,178],"integer":[34],"from":[35],"each":[36,121],"nonempty":[37,115,122],"set":[38,126],"of":[39,72,82,120,156,167,191,197,210,219,222],"integers":[40],"semirecursive":[41,53,123,140],".":[44,131],"Notice":[45,132],"that":[46,50,134,138,172],"this":[47,68,135,192],"really":[48],"asserts":[49],"predicates":[52,139],"are":[56,143],"closed":[57,144],"under":[58,145],"existential":[59],"quantification":[60,146],"over":[61,147],"type-0.":[62],"Moschovakis":[63],"[6]":[64],"has":[65],"essentially":[66],"proven":[67],"arbitrary":[73,100],"type.":[74],"[2]":[76,176],"Grilliot":[77,162,173],"stated":[78,238],"powerful":[80],"generalization":[81,218],"Gandy's":[83,223,244],"result,":[84],"namely:":[85],"Grilliot's":[86,201,211,246],"Selection":[87],"type-(n":[94],"+":[95],"2)":[96],"object":[97],"(n":[98],"integer).":[101],"recursive":[116],"subset":[119],"oftype-(n":[127],"\u2212":[128,150],"1)":[129,151],"objects":[130],"again":[133],"actually":[136],"says":[137],"type-(":[148],"n":[149],"Despite":[153],"similarity":[155],"these":[157],"two":[158],"results,":[159],"proposed":[163],"rather":[164],"different":[165],"methods":[166],"proof.":[168],"Furthermore,":[169],"proof":[171,209,221],"presented":[174],"contains":[177],"error":[179,193],"which":[180,214,241],"cannot":[181],"easily":[182],"corrected.":[184],"(We":[185],"will":[186,206,231],"comment":[187],"on":[188],"nature":[190],"at":[194],"end":[196],"\u00a71.)":[198],"Fortunately,":[199],"however,":[200],"valid.":[204],"We":[205],"present":[207],"direct":[217],"given":[225],"[6].":[227],"fact,":[229],"we":[230],"prove":[232],"general":[234],"result":[235],"(the":[236],"\u00a72)":[240],"subsumes":[242],"both":[243],"results.":[247]},"counts_by_year":[{"year":2017,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}