{"id":"https://openalex.org/W2184346317","doi":"https://doi.org/10.1093/logcom/exaa020","title":"Power Kripke\u2013Platek set theory and the axiom of choice","display_name":"Power Kripke\u2013Platek set theory and the axiom of choice","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W2184346317","doi":"https://doi.org/10.1093/logcom/exaa020","mag":"2184346317"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exaa020","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exaa020","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1801.01897","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011325191","display_name":"Michael Rathjen","orcid":"https://orcid.org/0000-0003-1699-4778"},"institutions":[{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Michael Rathjen","raw_affiliation_strings":["Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT, UK","Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT UK"],"affiliations":[{"raw_affiliation_string":"Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT, UK","institution_ids":["https://openalex.org/I130828816"]},{"raw_affiliation_string":"Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT UK","institution_ids":["https://openalex.org/I130828816"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5011325191"],"corresponding_institution_ids":["https://openalex.org/I130828816"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00132589,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"30","issue":"1","first_page":"447","last_page":"457"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9955000281333923,"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.9955000281333923,"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.9750999808311462,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9559999704360962,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/axiom-of-choice","display_name":"Axiom of choice","score":0.8374494314193726},{"id":"https://openalex.org/keywords/zermelo\u2013fraenkel-set-theory","display_name":"Zermelo\u2013Fraenkel set theory","score":0.79256272315979},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6738417148590088},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.6153041124343872},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.5399195551872253},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5397987365722656},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.4942920207977295},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.48476165533065796},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.48215147852897644},{"id":"https://openalex.org/keywords/power-set","display_name":"Power set","score":0.43488526344299316},{"id":"https://openalex.org/keywords/urelement","display_name":"Urelement","score":0.4318027198314667},{"id":"https://openalex.org/keywords/transfinite-number","display_name":"Transfinite number","score":0.4112780690193176},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.39737486839294434},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.34132540225982666},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.21382111310958862}],"concepts":[{"id":"https://openalex.org/C151797676","wikidata":"https://www.wikidata.org/wiki/Q179692","display_name":"Axiom of choice","level":4,"score":0.8374494314193726},{"id":"https://openalex.org/C51460","wikidata":"https://www.wikidata.org/wiki/Q191849","display_name":"Zermelo\u2013Fraenkel set theory","level":5,"score":0.79256272315979},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6738417148590088},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6153041124343872},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.5399195551872253},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5397987365722656},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.4942920207977295},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.48476165533065796},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48215147852897644},{"id":"https://openalex.org/C100643331","wikidata":"https://www.wikidata.org/wiki/Q205170","display_name":"Power set","level":3,"score":0.43488526344299316},{"id":"https://openalex.org/C78550038","wikidata":"https://www.wikidata.org/wiki/Q1896657","display_name":"Urelement","level":5,"score":0.4318027198314667},{"id":"https://openalex.org/C147358099","wikidata":"https://www.wikidata.org/wiki/Q1069891","display_name":"Transfinite number","level":2,"score":0.4112780690193176},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.39737486839294434},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.34132540225982666},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.21382111310958862},{"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/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","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}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1093/logcom/exaa020","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exaa020","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1801.01897","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1801.01897","pdf_url":"https://arxiv.org/pdf/1801.01897","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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"},{"id":"pmh:oai:eprints.whiterose.ac.uk:155300","is_oa":true,"landing_page_url":null,"pdf_url":"https://eprints.whiterose.ac.uk/155300/1/KPP_AC_non_APAL.pdf","source":{"id":"https://openalex.org/S4306400854","display_name":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"mag:2184346317","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1801.01897.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1801.01897","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1801.01897","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1801.01897","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1801.01897","pdf_url":"https://arxiv.org/pdf/1801.01897","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1453912824","display_name":"Homotopical inductive types","funder_award_id":"EP/K023128/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8546625884","display_name":null,"funder_award_id":"EP/K023128/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320323243","display_name":"Isaac Newton Institute for Mathematical Sciences","ror":"https://ror.org/007vkej58"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W40029885","https://openalex.org/W68230952","https://openalex.org/W141536115","https://openalex.org/W171610189","https://openalex.org/W195189594","https://openalex.org/W1536081785","https://openalex.org/W1963749227","https://openalex.org/W1966969477","https://openalex.org/W2007823114","https://openalex.org/W2016079395","https://openalex.org/W2024836736","https://openalex.org/W2026591269","https://openalex.org/W2027848313","https://openalex.org/W2029926935","https://openalex.org/W2052161854","https://openalex.org/W2059656706","https://openalex.org/W2064023341","https://openalex.org/W2065837808","https://openalex.org/W2067110264","https://openalex.org/W2068155073","https://openalex.org/W2074842064","https://openalex.org/W2079743999","https://openalex.org/W2088408332","https://openalex.org/W2091425612","https://openalex.org/W2124711040","https://openalex.org/W2144925863","https://openalex.org/W2601545920","https://openalex.org/W4244876544","https://openalex.org/W4247372698","https://openalex.org/W4251062723","https://openalex.org/W4291166560","https://openalex.org/W4293117209","https://openalex.org/W6608069388","https://openalex.org/W6735754178"],"related_works":["https://openalex.org/W2024836736","https://openalex.org/W2140995860","https://openalex.org/W1978094076","https://openalex.org/W2050939025","https://openalex.org/W2296270830","https://openalex.org/W2005199052","https://openalex.org/W2091425612","https://openalex.org/W2016079395","https://openalex.org/W2794983383","https://openalex.org/W2951533746","https://openalex.org/W2971620993","https://openalex.org/W2144925863","https://openalex.org/W2061386991","https://openalex.org/W2065894311","https://openalex.org/W2114912177","https://openalex.org/W2066572550","https://openalex.org/W2102375029","https://openalex.org/W2766279352","https://openalex.org/W3016872681","https://openalex.org/W2101453321"],"abstract_inverted_index":{"Abstract":[0],"While":[1],"power":[2,197,224,290],"Kripke\u2013Platek":[3,12],"set":[4,13,198,225,287,291,298],"theory,":[5,14,54],"${\\textbf{KP}}({\\mathcal{P}})$,":[6,165],"shares":[7],"many":[8],"properties":[9],"with":[10,82,196,289,300],"ordinary":[11],"${\\textbf{KP}}$,":[15,60],"in":[16,56,113,141,201,230],"several":[17],"ways":[18],"it":[19,173,264],"behaves":[20],"quite":[21],"differently":[22],"from":[23,152,213],"${\\textbf{KP}}$.":[24],"This":[25,77,273],"is":[26,105,174,179,265],"perhaps":[27],"most":[28],"strikingly":[29],"demonstrated":[30],"by":[31],"a":[32,51,111,168,231,239,260],"result,":[33],"due":[34],"to":[35,37,46,50,109,131,155,209,255,259,267,280],"Mathias,":[36],"the":[38,42,57,61,74,83,90,96,106,118,124,148,161,219,223,234,282,301],"effect":[39],"that":[40,69,123,157,176,227,252],"adding":[41],"axiom":[43,91,98,116,302],"of":[44,59,92,99,126,170,187,191,222,249,284,303],"constructibility":[45],"${\\textbf{KP}}({\\mathcal{P}})$":[47,86,88,132,182],"gives":[48],"rise":[49],"much":[52],"stronger":[53],"whereas":[55],"case":[58],"constructible":[62],"hierarchy":[63],"provides":[64,238],"an":[65,202],"inner":[66],"model,":[67],"so":[68],"${\\textbf{KP}}$":[70],"and":[71,87,246],"${\\textbf{KP}}+V=L$":[72],"have":[73],"same":[75,162],"strength.":[76,272],"paper":[78,149],"will":[79],"be":[80,278],"concerned":[81],"relationship":[84],"between":[85],"plus":[89],"choice":[93],"or":[94,128],"even":[95],"global":[97],"choice,":[100],"$\\textbf{AC}_{\\tiny":[101,129],"{global}}$.":[102],"Since":[103],"$L$":[104],"standard":[107],"vehicle":[108],"furnish":[110],"model":[112],"which":[114],"this":[115],"holds,":[117],"usual":[119],"argument":[120],"for":[121,183,194,218,243,276],"demonstrating":[122],"addition":[125],"${\\textbf{AC}}$":[127],"{global}}$":[130,159,178,237],"does":[133,138],"not":[134,139],"increase":[135],"proof-theoretic":[136,271],"strength":[137,163,283],"apply":[140],"any":[142],"obvious":[143],"way.":[144],"Among":[145],"other":[146,250],"tools,":[147],"uses":[150],"techniques":[151],"ordinal":[153,192],"analysis":[154,193],"show":[156],"${\\textbf{KP}}({\\mathcal{P}})+\\textbf{AC}_{\\tiny":[158,177,236],"has":[160],"as":[164,293,295],"thereby":[166],"answering":[167],"question":[169],"Mathias.":[171],"Moreover,":[172],"shown":[175],"conservative":[180],"over":[181],"$\\varPi":[184],"^1_4$":[185],"statements":[186],"analysis.":[188],"The":[189,205],"method":[190],"theories":[195,251],"was":[199],"developed":[200],"earlier":[203],"paper.":[204],"technique":[206],"allows":[207],"one":[208],"compute":[210],"witnessing":[211],"information":[212],"infinitary":[214],"proofs,":[215],"providing":[216],"bounds":[217],"transfinite":[220],"iterations":[221],"operation":[226,292],"are":[228,253],"provable":[229],"theory.":[232],"As":[233],"theory":[235,288,299],"very":[240],"useful":[241],"tool":[242],"defining":[244],"models":[245,248],"realizability":[247],"hard":[254],"construct":[256],"without":[257],"access":[258],"uniform":[261],"selection":[262],"mechanism,":[263],"desirable":[266],"determine":[268,281],"its":[269],"exact":[270],"knowledge":[274],"can":[275],"instance":[277],"used":[279],"Feferman\u2019s":[285],"operational":[286],"well":[294],"constructive":[296],"Zermelo\u2013Fraenkel":[297],"choice.":[304]},"counts_by_year":[],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}