{"id":"https://openalex.org/W2172247778","doi":"https://doi.org/10.2307/2274962","title":"An introduction to <i>\u03b3</i>-recursion theory (or what to do in KP \u2013 Foundation)","display_name":"An introduction to <i>\u03b3</i>-recursion theory (or what to do in KP \u2013 Foundation)","publication_year":1990,"publication_date":"1990-03-01","ids":{"openalex":"https://openalex.org/W2172247778","doi":"https://doi.org/10.2307/2274962","mag":"2172247778"},"language":"en","primary_location":{"id":"doi:10.2307/2274962","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274962","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/A5027721938","display_name":"Robert S. Lubarsky","orcid":null},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Robert S. Lubarsky","raw_affiliation_strings":["Department of Mathematics, Cornell University, Ithaca, New York 14853"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Cornell University, Ithaca, New York 14853","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5027721938"],"corresponding_institution_ids":["https://openalex.org/I205783295"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.26758676,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"55","issue":"1","first_page":"194","last_page":"206"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998999834060669,"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.9998999834060669,"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.9987000226974487,"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/T10258","display_name":"Philosophy and Theoretical Science","score":0.995199978351593,"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/computability-theory","display_name":"Computability theory","score":0.7871055006980896},{"id":"https://openalex.org/keywords/double-recursion","display_name":"Double recursion","score":0.7817084193229675},{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.7306967377662659},{"id":"https://openalex.org/keywords/peano-axioms","display_name":"Peano axioms","score":0.6939843893051147},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6419990062713623},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.6238484978675842},{"id":"https://openalex.org/keywords/mutual-recursion","display_name":"Mutual recursion","score":0.5847709774971008},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.5828794836997986},{"id":"https://openalex.org/keywords/foundations-of-mathematics","display_name":"Foundations of mathematics","score":0.5466216206550598},{"id":"https://openalex.org/keywords/mathematical-induction","display_name":"Mathematical induction","score":0.5162853598594666},{"id":"https://openalex.org/keywords/primitive-recursive-function","display_name":"Primitive recursive function","score":0.49133720993995667},{"id":"https://openalex.org/keywords/type-theory","display_name":"Type theory","score":0.48711419105529785},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.44225138425827026},{"id":"https://openalex.org/keywords/reverse-mathematics","display_name":"Reverse mathematics","score":0.4339938759803772},{"id":"https://openalex.org/keywords/universal-set","display_name":"Universal set","score":0.41499772667884827},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4011653661727905},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.3796606957912445},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.28032901883125305},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.19567152857780457},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.14428505301475525}],"concepts":[{"id":"https://openalex.org/C111142201","wikidata":"https://www.wikidata.org/wiki/Q818930","display_name":"Computability theory","level":2,"score":0.7871055006980896},{"id":"https://openalex.org/C139503435","wikidata":"https://www.wikidata.org/wiki/Q5300083","display_name":"Double recursion","level":3,"score":0.7817084193229675},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.7306967377662659},{"id":"https://openalex.org/C97489613","wikidata":"https://www.wikidata.org/wiki/Q842755","display_name":"Peano axioms","level":2,"score":0.6939843893051147},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6419990062713623},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6238484978675842},{"id":"https://openalex.org/C124416688","wikidata":"https://www.wikidata.org/wiki/Q3454656","display_name":"Mutual recursion","level":3,"score":0.5847709774971008},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.5828794836997986},{"id":"https://openalex.org/C183140480","wikidata":"https://www.wikidata.org/wiki/Q833585","display_name":"Foundations of mathematics","level":2,"score":0.5466216206550598},{"id":"https://openalex.org/C206743973","wikidata":"https://www.wikidata.org/wiki/Q178377","display_name":"Mathematical induction","level":2,"score":0.5162853598594666},{"id":"https://openalex.org/C9986523","wikidata":"https://www.wikidata.org/wiki/Q1570472","display_name":"Primitive recursive function","level":2,"score":0.49133720993995667},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.48711419105529785},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.44225138425827026},{"id":"https://openalex.org/C127753061","wikidata":"https://www.wikidata.org/wiki/Q2005236","display_name":"Reverse mathematics","level":3,"score":0.4339938759803772},{"id":"https://openalex.org/C102565666","wikidata":"https://www.wikidata.org/wiki/Q1378301","display_name":"Universal set","level":3,"score":0.41499772667884827},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4011653661727905},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3796606957912445},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.28032901883125305},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.19567152857780457},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.14428505301475525},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"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/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"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":1,"locations":[{"id":"doi:10.2307/2274962","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274962","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W40029885","https://openalex.org/W159724961","https://openalex.org/W568910110","https://openalex.org/W1983811943","https://openalex.org/W2002453609","https://openalex.org/W2014445098","https://openalex.org/W2017090131","https://openalex.org/W2089947806","https://openalex.org/W2092093189","https://openalex.org/W2141306862","https://openalex.org/W2330191353","https://openalex.org/W2551720480","https://openalex.org/W4293117209","https://openalex.org/W6672807822","https://openalex.org/W6702236459","https://openalex.org/W6826215695"],"related_works":["https://openalex.org/W1996792588","https://openalex.org/W2584778959","https://openalex.org/W4388310202","https://openalex.org/W1520244229","https://openalex.org/W1197238029","https://openalex.org/W1596057910","https://openalex.org/W1516347300","https://openalex.org/W2172247778","https://openalex.org/W2359098868","https://openalex.org/W90338445"],"abstract_inverted_index":{"The":[0,45],"program":[1],"of":[2,12,48,71,84,137,161,179,190,210,244,272],"reverse":[3,173,191],"mathematics":[4],"has":[5],"usually":[6],"been":[7],"to":[8,57,80,111,146,157,240,255],"find":[9],"which":[10,197,202,237],"parts":[11],"set":[13,62,168,181,198,243],"theory,":[14,236],"often":[15],"used":[16],"as":[17,248],"a":[18,42,58,112,180,280],"base":[19],"for":[20,26,119,207],"other":[21],"mathematics,":[22,174],"are":[23,82,103,205],"actually":[24],"necessary":[25,106,206],"some":[27],"particular":[28],"mathematical":[29],"theory.":[30,150,193,213,277],"In":[31],"recent":[32],"years,":[33],"Slaman,":[34],"Groszek,":[35],"et":[36],"al,":[37],"have":[38,96],"given":[39],"the":[40,69,77,97,115,129,133,159,164,177,188,208,217,241,249,270],"approach":[41],"new":[43],"twist.":[44],"priority":[46],"arguments":[47],"recursion":[49,149,192],"theory":[50,140,169,182,218,253,261],"do":[51],"not":[52,196,231],"naturally":[53],"or":[54,108],"necessarily":[55],"lead":[56],"foundation":[59,203],"involving":[60],"any":[61],"theory;":[63],"rather,":[64],"Peano":[65],"Arithmetic":[66],"(PA)":[67],"in":[68,91,153,167,176,216],"language":[70],"arithmetic":[72,154],"suffices.":[73],"From":[74],"this":[75,92],"point,":[76],"appropriate":[78],"subsystems":[79],"consider":[81],"fragments":[83],"PA":[85],"with":[86],"limited":[87],"induction.":[88],"A":[89],"theorem":[90,113],"area":[93],"would":[94,257],"then":[95],"form":[98],"that":[99],"certain":[100],"induction":[101,152],"axioms":[102,245],"independent":[104],"of,":[105],"for,":[107],"even":[109,175],"equivalent":[110],"about":[114],"Turing":[116],"degrees.":[117],"(See,":[118],"examples,":[120],"[C],":[121],"[GS],":[122],"[M],":[123],"[MS],":[124],"and":[125,284],"[SW].)":[126],"As":[127],"go":[128,132],"integers":[130],"so":[131],"ordinals.":[134],"One":[135],"motivation":[136],"\u03b1":[138,211,234,259],"-recursion":[139,212,235,252,260,276,290],"(recursion":[141],"on":[142],"admissible":[143],"ordinals)":[144],"is":[145,155,170,288],"generalize":[147],"classical":[148],"Since":[151],"meant":[156],"capture":[158],"well-foundedness":[160],"\u03c9":[162],",":[163],"corresponding":[165],"axiom":[166],"foundation.":[171],"So":[172],"context":[178],"(admissibility),":[183],"can":[184],"be":[185,258],"changed":[186],"by":[187,282],"influence":[189],"We":[194],"ask":[195],"existence":[199],"axioms,":[200,204],"but":[201],"theorems":[209],"When":[214],"working":[215],"KP":[219,225],"\u2013":[220],"Foundation":[221],"Schema":[222],"(hereinafter":[223],"called":[224],"\u2212":[226],"),":[227],"one":[228],"should":[229],"really":[230],"call":[232,269],"it":[233,263],"refers":[238,254],"implicitly":[239],"full":[242],"KP.":[246],"Just":[247],"name":[250],"\u03b2":[251],"what":[256],"only":[262],"includes":[264],"also":[265],"inadmissible":[266],"ordinals,":[267],"we":[268],"subject":[271],"study":[273],"here":[274],"\u03b3":[275,289],"This":[278],"answers":[279],"question":[281],"Sacks":[283],"S.":[285],"Friedman,":[286],"\u201cWhat":[287],"theory?\u201d":[291]},"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}