{"id":"https://openalex.org/W4391820085","doi":"https://doi.org/10.1142/s0219061324500132","title":"On the consistency of ZF with an elementary embedding from V\u03bb+2 into V\u03bb+2","display_name":"On the consistency of ZF with an elementary embedding from V\u03bb+2 into V\u03bb+2","publication_year":2024,"publication_date":"2024-02-14","ids":{"openalex":"https://openalex.org/W4391820085","doi":"https://doi.org/10.1142/s0219061324500132"},"language":"en","primary_location":{"id":"doi:10.1142/s0219061324500132","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0219061324500132","pdf_url":null,"source":{"id":"https://openalex.org/S29890666","display_name":"Journal of Mathematical Logic","issn_l":"0219-0613","issn":["0219-0613","1793-6691"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Mathematical 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/A5020972219","display_name":"Farmer Schlutzenberg","orcid":"https://orcid.org/0000-0002-3197-8197"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Farmer Schlutzenberg","raw_affiliation_strings":["Institut f\u00fcr Diskrete Mathematik und Geometrie, Technische Universit\u00e4t Wien, Wiedner Hauptstra\u00dfe 8\u201310/104, 1040 Wien, Austria"],"raw_orcid":"https://orcid.org/0000-0002-3197-8197","affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Diskrete Mathematik und Geometrie, Technische Universit\u00e4t Wien, Wiedner Hauptstra\u00dfe 8\u201310/104, 1040 Wien, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5020972219"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":0.5391,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.59792413,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"25","issue":"02","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10248","display_name":"Nonlinear Waves and Solitons","score":0.6079999804496765,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10248","display_name":"Nonlinear Waves and Solitons","score":0.6079999804496765,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7763370275497437},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6770850419998169},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.6441853046417236},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4574945867061615},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.42248255014419556},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.14605900645256042},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1429845690727234}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7763370275497437},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6770850419998169},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.6441853046417236},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4574945867061615},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.42248255014419556},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.14605900645256042},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1429845690727234}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0219061324500132","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0219061324500132","pdf_url":null,"source":{"id":"https://openalex.org/S29890666","display_name":"Journal of Mathematical Logic","issn_l":"0219-0613","issn":["0219-0613","1793-6691"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Mathematical Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1177974802","display_name":null,"funder_award_id":"EXC 2044-390685587","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1594319355","https://openalex.org/W1995248832","https://openalex.org/W2005987604","https://openalex.org/W2039147362","https://openalex.org/W2089092752","https://openalex.org/W2105223399","https://openalex.org/W2143005794","https://openalex.org/W2493347858","https://openalex.org/W2501434810","https://openalex.org/W2886492432","https://openalex.org/W2962891963","https://openalex.org/W3005154105","https://openalex.org/W3032061408","https://openalex.org/W3032438511","https://openalex.org/W4240902839","https://openalex.org/W4295796307","https://openalex.org/W4391820085"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027","https://openalex.org/W2600246793","https://openalex.org/W4238204885"],"abstract_inverted_index":{"According":[0],"to":[1,5,104],"a":[2,128,152,224],"theorem":[3],"due":[4],"Kenneth":[6],"Kunen,":[7],"under":[8,200],"ZFC,":[9],"there":[10,61,150],"is":[11,39,46,57,62,95,110,145,151,169,223,253],"no":[12,34],"ordinal":[13,59,226],"[Formula:":[14,21,43,54,66,72,76,81,87,92,123,139,160,165,173,181,187,205,220,228,241,247,255,259,265,276],"see":[15,22,44,55,67,73,77,82,88,93,124,140,143,161,166,174,182,188,206,221,229,242,248,251,256,260,266,277],"text]":[16,45,56,68,78,83,94,125,141,144,162,167,189,207,222,230,249,252,257,261,278],"and":[17,33,60,163,227],"nontrivial":[18],"elementary":[19,64,171],"embedding":[20,65,172],"text].":[23,74,89,243],"His":[24],"proof":[25,35],"relied":[26],"on":[27],"the":[28,47,98,116,198,201,235],"Axiom":[29],"of":[30,97],"Choice":[31],"(AC),":[32],"from":[36],"ZF":[37],"alone":[38],"has":[40],"been":[41],"discovered.":[42],"assertion,":[48],"introduced":[49],"by":[50,197],"Hugh":[51],"Woodin,":[52],"that":[53,80,149,204,212,246],"an":[58,63,146,170],"with":[69,107],"critical":[70],"point":[71],"And":[75],"asserts":[79],"holds":[84,231],"for":[85,263],"some":[86],"The":[90],"axiom":[91],"one":[96],"strongest":[99],"large":[100],"cardinals":[101],"not":[102,274],"known":[103],"be":[105,127],"inconsistent":[106],"AC.":[108],"It":[109],"usually":[111],"studied":[112],"assuming":[113,138],"ZFC":[114],"in":[115,176,190,232],"full":[117],"universe":[118],"V":[119],"(in":[120],"which":[121],"case":[122],"must":[126],"limit":[129,225],"ordinal),":[130],"but":[131,268],"we":[132,178],"assume":[133],"only":[134],"ZF.":[135],"We":[136,244],"prove,":[137],"\u201c[Formula:":[142,250],"even":[147],"ordinal\u201d,":[148],"proper":[153],"class":[154],"transitive":[155],"inner":[156],"model":[157,236],"M":[158,237],"containing":[159],"satisfying":[164],"\u201cthere":[168],"text]\u201d;":[175],"fact":[177],"will":[179,238],"have":[180],"text],":[183,267],"where":[184],"j":[185],"witnesses":[186],"M.":[191],"This":[192],"result":[193],"was":[194,216],"first":[195],"proved":[196],"author":[199],"added":[202],"assumption":[203,215],"exists;":[208],"Gabe":[209],"Goldberg":[210],"noticed":[211],"this":[213,271],"extra":[214],"unnecessary.":[217],"If":[218],"also":[219,239],"V,":[233],"then":[234],"satisfy":[240],"show":[245],"even\u201d":[254],"implies":[258],"exists":[262],"every":[264],"if":[269],"consistent,":[270],"theory":[272],"does":[273],"imply":[275],"exists.":[279]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2024-02-15T00:00:00"}