{"id":"https://openalex.org/W2512550994","doi":"https://doi.org/10.1007/s00153-016-0501-z","title":"Fragments of Kripke\u2013Platek set theory and the metamathematics of $$\\alpha $$ \u03b1 -recursion theory","display_name":"Fragments of Kripke\u2013Platek set theory and the metamathematics of $$\\alpha $$ \u03b1 -recursion theory","publication_year":2016,"publication_date":"2016-09-06","ids":{"openalex":"https://openalex.org/W2512550994","doi":"https://doi.org/10.1007/s00153-016-0501-z","mag":"2512550994"},"language":"en","primary_location":{"id":"doi:10.1007/s00153-016-0501-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00153-016-0501-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00153-016-0501-z.pdf","source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Archive for Mathematical Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00153-016-0501-z.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009749667","display_name":"Sy\u2010David Friedman","orcid":"https://orcid.org/0000-0001-8460-4394"},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Sy-David Friedman","raw_affiliation_strings":["Kurt G\u00f6del Research Center for Mathematical Logic, University of Vienna, W\u00e4hringer Strasse 25, 1090, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kurt G\u00f6del Research Center for Mathematical Logic, University of Vienna, W\u00e4hringer Strasse 25, 1090, Vienna, Austria","institution_ids":["https://openalex.org/I129774422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100683583","display_name":"Wei Li","orcid":"https://orcid.org/0000-0002-7772-5697"},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Wei Li","raw_affiliation_strings":["Kurt G\u00f6del Research Center for Mathematical Logic, University of Vienna, W\u00e4hringer Strasse 25, 1090, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kurt G\u00f6del Research Center for Mathematical Logic, University of Vienna, W\u00e4hringer Strasse 25, 1090, Vienna, Austria","institution_ids":["https://openalex.org/I129774422"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013430782","display_name":"Tin Lok Wong","orcid":"https://orcid.org/0000-0003-1147-7958"},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Tin Lok Wong","raw_affiliation_strings":["Kurt G\u00f6del Research Center for Mathematical Logic, University of Vienna, W\u00e4hringer Strasse 25, 1090, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kurt G\u00f6del Research Center for Mathematical Logic, University of Vienna, W\u00e4hringer Strasse 25, 1090, Vienna, Austria","institution_ids":["https://openalex.org/I129774422"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5009749667"],"corresponding_institution_ids":["https://openalex.org/I129774422"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":0.3605,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.68111046,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"55","issue":"7-8","first_page":"899","last_page":"924"},"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.9961000084877014,"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/T13720","display_name":"Benford\u2019s Law and Fraud Detection","score":0.9864000082015991,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7913798093795776},{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.7443684339523315},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.6840740442276001},{"id":"https://openalex.org/keywords/computability-theory","display_name":"Computability theory","score":0.6797293424606323},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5746535062789917},{"id":"https://openalex.org/keywords/element","display_name":"Element (criminal law)","score":0.4868301749229431},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.4842190742492676},{"id":"https://openalex.org/keywords/foundation","display_name":"Foundation (evidence)","score":0.479853093624115},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4784005582332611},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.45816829800605774},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4274361729621887},{"id":"https://openalex.org/keywords/category-theory","display_name":"Category theory","score":0.4124550521373749},{"id":"https://openalex.org/keywords/universal-set","display_name":"Universal set","score":0.4123556613922119},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3359505534172058},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.12248772382736206},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.11478191614151001},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.11394640803337097},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.06858038902282715}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7913798093795776},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.7443684339523315},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.6840740442276001},{"id":"https://openalex.org/C111142201","wikidata":"https://www.wikidata.org/wiki/Q818930","display_name":"Computability theory","level":2,"score":0.6797293424606323},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5746535062789917},{"id":"https://openalex.org/C200288055","wikidata":"https://www.wikidata.org/wiki/Q2621792","display_name":"Element (criminal law)","level":2,"score":0.4868301749229431},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.4842190742492676},{"id":"https://openalex.org/C2780966255","wikidata":"https://www.wikidata.org/wiki/Q5474306","display_name":"Foundation (evidence)","level":2,"score":0.479853093624115},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4784005582332611},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.45816829800605774},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4274361729621887},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.4124550521373749},{"id":"https://openalex.org/C102565666","wikidata":"https://www.wikidata.org/wiki/Q1378301","display_name":"Universal set","level":3,"score":0.4123556613922119},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3359505534172058},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.12248772382736206},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.11478191614151001},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.11394640803337097},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.06858038902282715},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s00153-016-0501-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00153-016-0501-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00153-016-0501-z.pdf","source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Archive for Mathematical Logic","raw_type":"journal-article"},{"id":"pmh:oai:scholarbank.nus.edu.sg:10635/179282","is_oa":true,"landing_page_url":"https://scholarbank.nus.edu.sg/handle/10635/179282","pdf_url":null,"source":{"id":"https://openalex.org/S7407052290","display_name":"National University of Singapore","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Unpaywall 20201031","raw_type":"Article"},{"id":"pmh:info:fedora/oai:univie.ac.at:o:475282","is_oa":true,"landing_page_url":"https://phaidra.univie.ac.at/o:475282","pdf_url":null,"source":{"id":"https://openalex.org/S4306401993","display_name":"Phaidra (Universit\u00e4t Wien)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I129774422","host_organization_name":"University of Vienna","host_organization_lineage":["https://openalex.org/I129774422"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN:0933-5846","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1007/s00153-016-0501-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00153-016-0501-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00153-016-0501-z.pdf","source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Archive for Mathematical Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4590061222","display_name":null,"funder_award_id":"P 24654 N 25","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G5282336716","display_name":null,"funder_award_id":"P 24654 N25","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G5942813955","display_name":"The Infinity Project","funder_award_id":"P 24654","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321079","display_name":"Russian Foundation for Basic Research","ror":"https://ror.org/02mh1ke95"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320321691","display_name":"Universit\u00e4t Wien","ror":"https://ror.org/03prydq77"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2512550994.pdf","grobid_xml":"https://content.openalex.org/works/W2512550994.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W13300039","https://openalex.org/W40029885","https://openalex.org/W45321844","https://openalex.org/W190578223","https://openalex.org/W195189594","https://openalex.org/W1491244198","https://openalex.org/W1967941501","https://openalex.org/W1971643033","https://openalex.org/W1983811943","https://openalex.org/W1987623954","https://openalex.org/W2007983321","https://openalex.org/W2014445098","https://openalex.org/W2015329474","https://openalex.org/W2017254147","https://openalex.org/W2017850155","https://openalex.org/W2055041806","https://openalex.org/W2066072993","https://openalex.org/W2068126501","https://openalex.org/W2088408332","https://openalex.org/W2158246350","https://openalex.org/W2162272192","https://openalex.org/W2172247778","https://openalex.org/W2233217370","https://openalex.org/W2315610131","https://openalex.org/W2611024016","https://openalex.org/W4237559355","https://openalex.org/W4285719527","https://openalex.org/W4293117209"],"related_works":["https://openalex.org/W2310420552","https://openalex.org/W2133902039","https://openalex.org/W1589207578","https://openalex.org/W2936847277","https://openalex.org/W167110062","https://openalex.org/W4247035339","https://openalex.org/W149671515","https://openalex.org/W2512550994","https://openalex.org/W2105683417","https://openalex.org/W1978895269"],"abstract_inverted_index":{"The":[0],"foundation":[1,27,44],"scheme":[2],"in":[3,29,72,87],"set":[4,31,41],"theory":[5,32,42],"asserts":[6],"that":[7,55],"every":[8],"nonempty":[9],"class":[10],"has":[11],"an":[12],"$$\\in":[13],"$$":[14,35,74],"-minimal":[15],"element.":[16],"In":[17,90],"this":[18,88],"paper,":[19],"we":[20,92],"investigate":[21],"the":[22,26,50,79,83,94],"logical":[23],"strength":[24],"of":[25,96,99],"principle":[28],"basic":[30],"and":[33,82],"$$\\alpha":[34,73],"-recursion":[36,75],"theory.":[37,52,89],"We":[38,53],"take":[39],"KP":[40,46,56],"without":[43],"(called":[45],"$$^-$$":[47,57],")":[48],"as":[49],"base":[51],"show":[54],"+":[58,62],"$$\\Pi":[59],"_1$$":[60],"-Foundation":[61],"$$V=L$$":[63],"is":[64],"enough":[65],"to":[66],"carry":[67],"out":[68],"finite":[69],"injury":[70],"arguments":[71],"theory,":[76],"proving":[77],"both":[78],"Friedberg-Muchnik":[80],"theorem":[81,86],"Sacks":[84],"splitting":[85],"addition,":[91],"compare":[93],"strengths":[95],"some":[97],"fragments":[98],"KP.":[100]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-30T09:15:22.047038","created_date":"2025-10-10T00:00:00"}