{"entities":{"Q5964939":{"pageid":8141741,"ns":120,"title":"Item:Q5964939","lastrevid":93579059,"modified":"2026-06-05T04:38:20Z","type":"item","id":"Q5964939","labels":{"en":{"language":"en","value":"The weak ultrafilter axiom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6548037"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964939$26778F6C-06A3-475D-8861-A022BF738EC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"798328c7ea2f5c7f03f92c93a45974c7ba79299b","datavalue":{"value":{"text":"The weak ultrafilter axiom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5964939$82248EB4-1BF2-4FAD-8B4C-547884D0D8AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e919d9da74a6ea5f2cbbd21e95fd60c7f18e201a","datavalue":{"value":"1406.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5964939$04F42A2D-0DCC-4672-9DDE-FB88141C4D9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1aa73e14157c558b4cd52b4dcdb69d55d5554707","datavalue":{"value":{"entity-type":"item","numeric-id":251404,"id":"Q251404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964939$CD16DBF4-3700-4466-B6E5-81FFB13745A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964939$D2BF092D-C062-4055-AE12-30A5950B313F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2cbcbddb948a4fe301f67374c57ebdb5a8dfc5b4","datavalue":{"value":{"time":"+2016-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5964939$8552EA76-727F-4A96-B406-A4B127731022","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25cf208c25b879bfc28e51683de0bda56e1fa6f2","datavalue":{"value":"http://nrs.harvard.edu/urn-3:HUL.InstRepos:34650225","type":"string"},"datatype":"url"},"type":"statement","id":"Q5964939$384270A3-3C9E-439F-AD8C-6E7906871B6B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2f6cd4856242978835987b824d5e34b4c2ced7c0","datavalue":{"value":"The expression \\textit{axiom \\(I_0\\) holds at \\(\\lambda\\)}, or axiom \\(I_0^\\lambda\\), denotes the statement ``there is a nontrivial elementary embedding \\(j: L(V_{\\lambda +1})\\to L(V_{\\lambda +1})\\) with critical point below \\(\\lambda\\).'' Axiom \\(I_0^\\lambda\\) implies that \\(L(V_{\\lambda +1})\\) possesses a rich structure theory. In fact, the structure theory of \\(L(V_{\\lambda +1})\\) under axiom \\(I_0^\\lambda\\) is analogous to the structure theory to \\(L(\\mathbb{R})\\) under the assumption that the AD holds in \\(L(\\mathbb{R})\\). Recall that \\(L(\\mathbb{R})=L(V_{\\omega +1})\\) and that AD is an abbreviation for the axiom of determinacy.  In the paper under review, Woodin first explains why a complete and detailed structure theory of \\(L(V_{\\lambda +1})\\) cannot be obtained under axiom \\(I_0^\\lambda\\) alone. This explanation identifies some ambiguities in \\(L(V_{\\lambda +1})\\) concerning the club filter at \\(\\lambda^+\\). The key difficulty in specifying the structure of \\(L(V_{\\lambda +1})\\), under axiom \\(I_0^\\lambda\\), is that forcing with a partial order in \\(V_\\lambda\\) can affect the structure theory of \\(L(V_{\\lambda +1})\\) while preserving axiom \\(I_0^\\lambda\\). This deficiency motivates two enhancements of axiom \\(I_0^\\lambda\\).  The \\textit{ultrafilter axiom at \\(\\lambda\\)} asserts that axiom \\(I_0^\\lambda\\) holds and that for each infinite regular cardinal \\(\\gamma<\\lambda\\), the club filter at \\(\\lambda^+\\), as defined in \\(L(V_{\\lambda +1})\\), is an ultrafilter on the set \\(S^{\\lambda^+}_\\gamma=\\{\\beta\\in \\lambda^+ : \\operatorname{cof}(\\beta)=\\gamma\\}\\). The \\textit{weak ultrafilter axiom at \\(\\lambda\\)} proclaims that axiom \\(I_0^\\lambda\\) holds and that for each infinite regular cardinal \\(\\gamma<\\lambda\\), there is a partition \\(\\langle S_\\alpha : \\alpha\\in\\eta\\rangle\\) of \\(S^{\\lambda^+}_\\gamma\\) into at most \\(\\gamma^+\\) many sets such that for all \\(\\alpha\\in\\eta\\), the club filter at \\(\\lambda^+\\), as defined in \\(L(V_{\\lambda +1})\\), is an ultrafilter on \\(S_\\alpha\\). The ultrafilter axiom at \\(\\lambda\\) is not known to be consistent; however, Theorem 16, of this paper, shows that if axiom \\(I_0^\\lambda\\) is consistent, then axiom \\(I_0^\\lambda\\) is consistent with the weak ultrafilter axiom at \\(\\lambda\\).  On the other hand, Theorem 31, of this paper, has the following form: Assume  (1) certain large cardinal axioms,  (2) \\(\\Gamma^\\infty=\\mathcal{P}(\\mathbb{R})\\cap L(\\Gamma^\\infty)\\), where \\(\\Gamma^\\infty\\) is the set of universally Baire sets,  (3) a particular determinacy hypothesis (see page 326 and Section 5).  Let \\(\\mathbb{M}\\) be an \\(A_0\\)-model (see Definition 26) and let \\(\\delta_0\\) be the least Woodin cardinal in \\(\\mathbb{M}\\). Then the following holds in \\(\\mathbb{M}\\): For all \\(\\lambda>\\delta_0\\), if \\(\\lambda\\) is a singular strong limit cardinal of countable cofinality and axiom \\(I_0\\) holds at \\(\\lambda\\), then the weak ultrafilter axiom fails at \\(\\lambda\\). One can conclude that in all non-strategic models, assuming fairly general conditions on these models, the weak ultrafilter axiom must fail at all \\(\\lambda\\) where where axiom \\(I_0\\) holds at \\(\\lambda\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5964939$6C23DDB1-9089-4D44-82F6-448D36830CD6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"54a3b1c1318415b494c60c8e1b6f94c8b4fece92","datavalue":{"value":{"entity-type":"item","numeric-id":412054,"id":"Q412054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964939$EF5604C8-C70B-4124-8EDF-A441EEE5A481","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5964939$1A9D2B0A-7023-40AD-B14F-2D9E26F4ACC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5964939$67ABD80D-3E26-4EB2-A41D-D87E36525B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5964939$F82F39CB-32EA-477E-8A1D-F191D0719B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5964939$EF6AE1B6-164E-4AFB-93ED-99F30BFA2D80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd5e87f5ea2611318971ef47d501583d1433e8f1","datavalue":{"value":"6548037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5964939$91AADE32-DB89-40EA-9C3E-CEEDBC5801C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebca3a6c115ad9fc460e4a0debbc4ce171f41fbc","datavalue":{"value":"large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5964939$366BB38C-245E-4E20-8B72-FD33544620DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5964939$3CB0B7C0-B33D-4C66-8054-CA7FEE355542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b48dfe1aecc0a5785f3afa391c6fd37fe3c5b95","datavalue":{"value":"axiom \\(I_0\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5964939$33F475DA-0B38-4586-888D-4AA3884E5673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa9271b4dbc67e0cc54d8e4dd148e4fbe2693b7a","datavalue":{"value":"AD","type":"string"},"datatype":"string"},"type":"statement","id":"Q5964939$45707667-6028-4B06-8D70-E8888DC7E9C1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"73fa196e2b594e600385c0bd3884f6155ad3515e","datavalue":{"value":"Q114018314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5964939$7A9D5FAD-C918-4260-8A33-D8E7F1D93BB1","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964939$24050769-9ADE-450C-B0D6-C0D03E328074","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d5cea38a6b9f8b96a544deb9fa9ad6d545a0d39","datavalue":{"value":"W2274747205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5964939$1D7417AD-C7DE-4985-9DDC-9ACB2AE89801","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a750bf68aa8a5dd2547087cb0289f5275e8b422","datavalue":{"value":{"entity-type":"item","numeric-id":4694294,"id":"Q4694294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964939$72E287CA-CF15-4494-8D63-2D14BCB42552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04cf2170765230c90aa30ea8841b5d92c8800d94","datavalue":{"value":{"entity-type":"item","numeric-id":4830329,"id":"Q4830329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964939$56739F4B-03C7-46D8-BB39-D0DDBA5D0471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe9e3d52131032099759134248cf40dee0775cf","datavalue":{"value":{"entity-type":"item","numeric-id":4276535,"id":"Q4276535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964939$1A14BCB2-43A9-4C18-98AB-3A0670140F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b792311298e5f4e15a112090d997ee754ae4c113","datavalue":{"value":{"entity-type":"item","numeric-id":1602849,"id":"Q1602849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964939$678411FC-E8D6-46E5-BD58-BEEC3A8EF7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18420f2ec556e71b590bb5270e21b91ac7856793","datavalue":{"value":{"entity-type":"item","numeric-id":3094356,"id":"Q3094356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964939$8F6852E9-778B-4D33-AEC1-FF2637417C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf0f3cb67efbfac21471082d5eb7d4bf984e8983","datavalue":{"value":{"entity-type":"item","numeric-id":2883843,"id":"Q2883843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964939$CCDE7AFA-BE5B-4B20-8C82-11A900755411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f2a7c0c536f355edf3eb7c28e5d588034733373","datavalue":{"value":{"entity-type":"item","numeric-id":4982460,"id":"Q4982460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964939$90DD9638-5F98-44CE-82CB-4274BD2867CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a929d9820e32eb05cde074635d794993ec7d14f","datavalue":{"value":"10.1007/S00153-015-0467-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5964939$2EFAE7B8-D1BE-4B7A-8929-7AE85F8B1A69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87fbb7445e98e1542404c7c9a1e3da92df971fef","datavalue":{"value":{"entity-type":"item","numeric-id":3688386,"id":"Q3688386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7866b603b1d1af6c7577a28e23730a1dd79da1db","datavalue":{"value":{"amount":"+0.7376782894134521","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5964939$131ABB9D-3721-4085-B2EC-9668FDE053FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdc3fb124341030d17132af2b499bf870ae17b69","datavalue":{"value":{"entity-type":"item","numeric-id":2309495,"id":"Q2309495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31e47cd984a02b4df20534aae2e3b1fefa7d416d","datavalue":{"value":{"amount":"+0.7341373562812805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5964939$611CC068-AD54-4506-9926-AD917A478086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d34d2ede1cf803d98bf282245f0f144a7070e25f","datavalue":{"value":{"entity-type":"item","numeric-id":5206479,"id":"Q5206479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc4b9f845f83615d2a9455370e7312deaf6749c6","datavalue":{"value":{"amount":"+0.7330048680305481","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5964939$7B5F45C0-6113-4189-87F0-35089551A429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86db870764c8f1c03312c849203852b0fce50b63","datavalue":{"value":{"entity-type":"item","numeric-id":2998349,"id":"Q2998349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76882ee08d5a37e043350a57757769e905c51cab","datavalue":{"value":{"amount":"+0.7245962619781494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5964939$F1BD8A3C-F90E-401D-BF90-D391A700BB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73e7cacda69962dc944fbe2c157c61fe931bf234","datavalue":{"value":{"entity-type":"item","numeric-id":3757911,"id":"Q3757911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4854cdb3bebc39ebddcbc906c7e86b1ba65d478b","datavalue":{"value":{"amount":"+0.7200900316238403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5964939$4045F5F3-64FA-46AB-8EAA-731F78618C24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The weak ultrafilter axiom","badges":[]}}}}}