{"entities":{"Q701721":{"pageid":703570,"ns":120,"title":"Item:Q701721","lastrevid":57140010,"modified":"2026-03-26T18:37:31Z","type":"item","id":"Q701721","labels":{"en":{"language":"en","value":"Forcing axiom failure for any \\(\\lambda >\\aleph_1\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2123148"}},"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":"Q701721$A27930E8-8C27-4A51-B312-F5D2FB380A4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42380e1182b1e6e4bfb2a7990ee4d28e900ce4aa","datavalue":{"value":{"text":"Forcing axiom failure for any \\(\\lambda >\\aleph_1\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q701721$08125F43-B6F1-49D7-B027-4DF8D57F7163","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ec97dc44ec4e374e8a1496420bdb94dae1a2b50","datavalue":{"value":"1063.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701721$8ED042BF-9880-42E2-A8E3-32115E911819","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701721$DC6966DA-8BA9-4B98-8D96-1A2B0F532D11","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":"Q701721$BF2986D6-480E-4AD9-BCF5-0FA202CEFF06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df1e508a21ee9936a7a8f9defc1512d58443c3e3","datavalue":{"value":{"time":"+2004-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q701721$4FD1B426-68D2-4B9F-BAF2-3766A7B9C77A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdf6a351a9d9d85513d1b47b5c5efa035577dd05","datavalue":{"value":"https://arxiv.org/abs/math/0112286","type":"string"},"datatype":"url"},"type":"statement","id":"Q701721$5B1CC6AB-04B3-4369-9DF2-5903148E4A32","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cc360febc941ba13d3ea57038a3d0b0a8c1030fb","datavalue":{"value":"A poset \\(\\mathbb P\\) is semi-proper (or \\(\\{\\aleph_1\\}\\)-semi-proper) if for every suitably large countable elementary submodel \\(N\\), \\(\\mathbb P\\) has a semi-generic condition (forcing \\(N\\cap \\omega_1 = N[G]\\cap \\omega_1\\)). Each semi-proper poset preserves the stationarity of all stationary subsets of \\(\\omega_1\\). The semi-proper forcing axiom (SPFA) implies that the converse holds (see XVII 1.3 of [\\textit{S. Shelah}, Proper and improper forcing. 2nd ed. Berlin: Springer (1998; Zbl 0889.03041)]). Namba forcing preserves stationary subsets of \\(\\omega_1\\), changes the cofinality of \\(\\omega_2\\) to \\(\\omega\\) and, in the absence of large cardinals, is not semi-proper (see XII 2.5 of Shelah's book [loc. cit.]). The final section of the paper produces in ZFC a semi-proper forcing poset which is not proper. The first section of the paper shows that a forcing axiom for stationarity preserving posets in which we require a filter to meet \\(\\aleph_2\\) many dense open sets will fail. In particular, for each regular \\(\\lambda>\\aleph_1\\), there is a poset \\(\\mathbb P\\) which preserves stationary subsets of \\(\\lambda\\) and which adds no new sequences of length less than \\(\\lambda\\) and witnesses the failure of this potential forcing axiom.","type":"string"},"datatype":"string"},"type":"statement","id":"Q701721$A976400C-CADB-407A-B5D7-03AD3CC52A60","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b66a2be5b1b7eaf4e23d46d89a363238ea9fc148","datavalue":{"value":{"entity-type":"item","numeric-id":169647,"id":"Q169647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701721$CB4AA8DA-280F-4529-8B73-15B5318F778C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701721$410F6352-4F0F-423A-983D-00220549BEC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bbfae3ff7ea67c951f48c7da1a67c796d1d16a8","datavalue":{"value":"2123148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701721$4568BFC8-0BDB-4840-B97C-12C923E84BE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872510b0498bd635e31abb0188a1205c08efde26","datavalue":{"value":"forcing axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q701721$A7B37C35-2EAD-43E2-BA06-BF1DB7CA355D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65d2bf915a41b6a7d592c9a171be4910184cef3","datavalue":{"value":"semi-proper forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q701721$43282CA7-0227-487F-A22D-D92C265E97CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c935625d3f6e4200b7f4a806b54c9ac19fef216f","datavalue":{"value":"proper forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q701721$81A5D253-D7E6-4D04-B480-2EB8DF544DA2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3ac949c7c6387a924a10e849403525a91c2def44","datavalue":{"value":"Q114018337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701721$6CD2B128-FA7C-4FB8-AF57-50DC9001713D","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":"Q701721$4BF5EC42-E2C7-4E67-BBB6-057E2D5D1DD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49634dc6fd72a6fd1d524e018354c3bd2552d0a1","datavalue":{"value":"W2593742297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701721$A5DC6F75-947B-434C-8B6B-99AE57CF8C82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0ae40872095167b99ad93d22fb31c2858dfc8e9","datavalue":{"value":"10.1007/S00153-003-0208-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701721$E1757B21-B3FE-4811-BED5-3DB59B146D12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"684d52392faa49ac8a06ff3a85fb40e0912055e6","datavalue":{"value":{"entity-type":"item","numeric-id":684233,"id":"Q684233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe7cc79cabed0f734f787191588b34fe947c4d6","datavalue":{"value":{"amount":"+0.80883646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701721$E627465E-A48A-4659-AD5D-E5E5116C1D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2656b3fddb5ef3d3b6bcf92b350ca95665bcd910","datavalue":{"value":{"entity-type":"item","numeric-id":1102944,"id":"Q1102944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"336573f2243618830e181dbd33e247cffd0b7146","datavalue":{"value":{"amount":"+0.7957736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701721$296566CE-F579-44B9-B88E-62AEB8CC52AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6011fc17812bbf639027ecd0c0b09b8cc33546a","datavalue":{"value":{"entity-type":"item","numeric-id":2922490,"id":"Q2922490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154df6a28446a8d862be71d1e835ebea744a483e","datavalue":{"value":{"amount":"+0.78094935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701721$29C345E4-104D-44FF-942C-B68BB007FE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abdd8b0a36c7d7d05954e3c54b6965c52d0d8af4","datavalue":{"value":{"entity-type":"item","numeric-id":3684115,"id":"Q3684115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ab4d3953c283d0b4b18bd95a226515f24fe3ef2","datavalue":{"value":{"amount":"+0.76339215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701721$1F173CF7-BB88-47F0-9F26-CCC953F925AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db53cbf31d26d83d92b15813da22a8509cbd62e9","datavalue":{"value":{"entity-type":"item","numeric-id":4328840,"id":"Q4328840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00a77388538039f224f4f28926e593514d8a4165","datavalue":{"value":{"amount":"+0.7549989","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701721$06BF70F0-6E0E-4CE7-97BB-E09DB2326AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14cebf0572cadcbcbb3892a2503e129a2b82d4ad","datavalue":{"value":{"entity-type":"item","numeric-id":944227,"id":"Q944227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df5052c39ec46d6be2218d84d60a5ce0e5eceaa6","datavalue":{"value":{"amount":"+0.7512841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701721$CF63936D-D1F9-4FD2-9EE9-D5BF81C35812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ee104481e34850cc8aad93a28fdb907b3f626de","datavalue":{"value":{"entity-type":"item","numeric-id":365678,"id":"Q365678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6195706302dcf23b108d5403f7eceae48d1bc352","datavalue":{"value":{"amount":"+0.7461553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701721$9AF3B57F-514A-4564-B957-42485430FBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f858cdb9772b7176386d07f6678df368b480a2","datavalue":{"value":{"entity-type":"item","numeric-id":1262859,"id":"Q1262859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"561b408f2e36df5af551865aa0610ec3a3fa3fd2","datavalue":{"value":{"amount":"+0.7416751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701721$9ECFBC56-0B7A-42F7-BE85-69CD1E652C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"046a3d645310f9cdf33c876d65dea97c97866bc6","datavalue":{"value":{"entity-type":"item","numeric-id":5694285,"id":"Q5694285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f664503f74ed574116993d44c15fc17aab4303d2","datavalue":{"value":{"amount":"+0.73217607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701721$D6F77DD5-1994-4833-9794-26BCFC071F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11649bb4b7dbbab96bdde639bb14d653706dd474","datavalue":{"value":{"entity-type":"item","numeric-id":3053892,"id":"Q3053892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b72d33b42863edc22aafe40c554916aecdbaad0e","datavalue":{"value":{"amount":"+0.7311774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q701721$445BADE1-5238-4D9C-A05B-8429602F522D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:701721","badges":[]}}}}}