{"entities":{"Q1077413":{"pageid":1088165,"ns":120,"title":"Item:Q1077413","lastrevid":67054869,"modified":"2026-04-12T14:37:37Z","type":"item","id":"Q1077413","labels":{"en":{"language":"en","value":"Precipitousness in forcing extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3957088"}},"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":"Q1077413$C10BD6B6-4CA7-42E8-93F6-447FC246E703","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e67b697956aa40a1d0f385f57bbd91ec19839cd","datavalue":{"value":{"text":"Precipitousness in forcing extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1077413$0A486250-441D-40D9-91B2-EA9C0EB71861","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd7a0adf6a345a51a01b216e866e82a963f99c07","datavalue":{"value":"0595.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077413$D59A9E04-562E-48FA-BF25-EF3A7E492339","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"201bebcf29744b7c117caca4c5d981c5a5034946","datavalue":{"value":"10.1007/BF02761155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077413$3D4F34C4-2916-43CD-914B-FCD5FA860524","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15dac46ca7ec95024385e3f51336feee435714ac","datavalue":{"value":{"entity-type":"item","numeric-id":615889,"id":"Q615889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077413$B7BD059C-F7BA-4DE8-9C1F-6EA28A112DDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077413$859A8F74-E783-4DAA-8308-B96A0B0E6BE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1077413$E4C35E2E-11AE-4A7F-B92A-8F39AE5B2899","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ff4f928b4d7c3de844e7075886691749da399524","datavalue":{"value":"W. Mitchell [see \\textit{T. Jech}, \\textit{M. Magidor}, \\textit{W. Mitchell}, and \\textit{K. Prikry}, J. Symb. Logic 45, 1-8 (1980; Zbl 0437.03026)] proved that if a measurable cardinal \\(\\kappa\\) is collapsed to \\(\\omega_ 1\\) by the L\u00e9vy algebra \\({\\mathcal L}^{\\kappa}\\), then \\(\\kappa =\\omega_ 1\\) is precipitous in the extension. The author introduces a large class \\({\\mathcal A}\\) of proper forcings containing, e. g., the standard poset for making the proper forcing axiom true. The main result says that assuming \\(\\kappa\\) supercompact, \\({\\mathcal L}^{\\kappa}\\Vdash P\\in {\\mathcal A}\\), then \\({\\mathcal L}^{\\kappa}*P\\Vdash\\) \\(''\\omega_ 1\\) is precipitous''. As a corrollary, Con(ZFC \\(+\\) two supercompact cardinals) implies Con(ZFC \\(+\\) proper forcing axiom \\(+\\) \\(\\omega_ 1\\) precipitous).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077413$FB1A49BE-8837-44CE-9CE1-02CEB555D6AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077413$9146A3B8-08EF-4D26-BB07-CE7CEB0ED2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077413$476BD83A-C39C-467F-B40F-77838169A02F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42034379e6cde1deec0fa5b24a223f11d3930d5f","datavalue":{"value":"3957088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077413$D7FD9025-CA36-48B2-A5A6-FDFFC0BBB7FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58ceb89dcc5a025cb885d95184fb2b727e2af6dc","datavalue":{"value":"supercompact cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077413$CFBED435-F104-45AF-8DD0-357DC23F3267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c935625d3f6e4200b7f4a806b54c9ac19fef216f","datavalue":{"value":"proper forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077413$B3A4B068-F09E-4849-9887-343E55A47EE4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"79a6c908d52d7d8a7384d602f9005f5efbf09389","datavalue":{"value":{"entity-type":"item","numeric-id":173769,"id":"Q173769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077413$5F16D5CD-3560-46CC-8324-C92ACD35C833","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":"Q1077413$DBC90CD0-A9BA-49AB-885C-55ECA643C5F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a02527b6dc590613bfc39bb6aa25a2bdefb56d2","datavalue":{"value":{"entity-type":"item","numeric-id":3220578,"id":"Q3220578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077413$18650A7D-6CB1-4643-ABE4-D61DB0154F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e320cec8da55a9062b46d53c4a70c35bfae3a68","datavalue":{"value":{"entity-type":"item","numeric-id":3960836,"id":"Q3960836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077413$2F789B85-E6D4-4C58-9B9A-421094271271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7bceaa3f5b55c16ee082de5a7e14bd595b357b4","datavalue":{"value":{"entity-type":"item","numeric-id":3037421,"id":"Q3037421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077413$02F4D947-C139-461F-A084-2C68C1B9AA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2681a42f7fa3bc4c8480f30492e2558512dc01","datavalue":{"value":{"entity-type":"item","numeric-id":4180344,"id":"Q4180344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077413$BDCAF6BD-531B-4958-A20D-7F9160E859E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b44e1d6aa8309660681d3025a5100de01d9339","datavalue":{"value":{"entity-type":"item","numeric-id":3877674,"id":"Q3877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077413$5D18D144-ECE3-40FB-98CC-E5A21D7F8615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0d940cf5873412864ac242049d20fd778a50f8","datavalue":{"value":{"entity-type":"item","numeric-id":3950555,"id":"Q3950555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077413$5E0938B9-317E-438D-A49B-E53F43828079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff421539903c14ff8cc2d3dae22e0ae4478ffc2","datavalue":{"value":{"entity-type":"item","numeric-id":5645417,"id":"Q5645417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077413$7A6FA7D2-778D-4278-99CF-F468A0C33154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05904478a1925654ac4b1a3dd6b1f2d6820f9e3","datavalue":{"value":{"entity-type":"item","numeric-id":4177558,"id":"Q4177558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077413$0AFEC042-302B-4AF6-AC02-95D0A5B81481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ecdddb0de5f3a111978f5f5ba64548ff3093b38","datavalue":{"value":{"entity-type":"item","numeric-id":5619097,"id":"Q5619097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077413$0127B17B-7AC9-41AD-B158-04181A7C6115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b12b8afcd7ce10003fb014a71b600b2bc6250c","datavalue":{"value":{"entity-type":"item","numeric-id":1247322,"id":"Q1247322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077413$860385D3-4992-4423-8D59-ED71070D7429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cbbaedbe40e72f75f19851a8eeb3afaa2c2fc8","datavalue":{"value":{"entity-type":"item","numeric-id":4117830,"id":"Q4117830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077413$8CF4DD4D-CCDD-4E5B-B92F-E5CEC843AC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8699ad1131399a6cabda5734ba47e03d660e21","datavalue":{"value":{"entity-type":"item","numeric-id":4047554,"id":"Q4047554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077413$E580C02B-DCDF-442B-908A-EBBEFCA210C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce9ea568830241cb3b5fc40f8c3c8e19460f8899","datavalue":{"value":{"entity-type":"item","numeric-id":3880840,"id":"Q3880840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077413$295AE972-7012-4D3F-8A77-17E68AD64CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45cd2ea360d17b085a46e8bc7dd71d81d0bdfcf","datavalue":{"value":{"entity-type":"item","numeric-id":1169456,"id":"Q1169456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077413$E51606C9-409E-459F-9BE8-188C633388F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84103fd7245f688455c654a3678984446fbbf743","datavalue":{"value":{"entity-type":"item","numeric-id":5626665,"id":"Q5626665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077413$A404F0AA-796B-4937-BBBE-D33ED28DCFC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8614120e6448aeac8267c42a9cd37dff778ed881","datavalue":{"value":"https://doi.org/10.1007/bf02761155","type":"string"},"datatype":"url"},"type":"statement","id":"Q1077413$F1538D87-F197-48D7-8694-BB96DACE54EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62b48ac40a3522f709be9451bbea0de0485f0e53","datavalue":{"value":"W2052641511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077413$C8E540D0-338B-421E-B5F3-70FE54230EDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b82ab7caeb3e20c864b44e0ab0c3f5399e2c293f","datavalue":{"value":{"entity-type":"item","numeric-id":1335332,"id":"Q1335332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c50094d8f8d7956026cfa483cd9d6f2d2f7e1a","datavalue":{"value":{"amount":"+0.8627605438232422","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":"Q1077413$97951EC7-5DC8-4175-8AC4-CBA141B4819F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"091f42fb002aa14d6561c6df96bc2f0c0548dbac","datavalue":{"value":{"entity-type":"item","numeric-id":2726224,"id":"Q2726224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd4fd0d6cdd9ab0c9dfc326aa94bf3fad17f8899","datavalue":{"value":{"amount":"+0.8588774800300598","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":"Q1077413$2E3D9080-A481-4270-8138-171E6023472C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6145c930c1d08607de9a2b5e5ed8f9c4948a8d0","datavalue":{"value":{"entity-type":"item","numeric-id":3781099,"id":"Q3781099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d121b6c93a3ed954f46edc79aec8343cdad0b9b","datavalue":{"value":{"amount":"+0.7997778654098511","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":"Q1077413$5BC5FD03-478E-4F32-A014-4ED4D7650D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa400c1254d47699c6914830eea62a3df57ea3c","datavalue":{"value":{"entity-type":"item","numeric-id":4382466,"id":"Q4382466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f2a9fc0539419990cedea9aee56bb8e95dd2e0d","datavalue":{"value":{"amount":"+0.7991087436676025","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":"Q1077413$231CE6BA-27A4-4C6C-B64C-2575F7971CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17dc5977b11c9bc1ea6332ae3c5fbd03afb6ac51","datavalue":{"value":{"entity-type":"item","numeric-id":645215,"id":"Q645215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"797ad6c12c77f450687b1dec442548d0fe24a317","datavalue":{"value":{"amount":"+0.7985854744911194","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":"Q1077413$8A1280F8-56CA-4189-B9EB-5C4A9CBA3D0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Precipitousness in forcing extensions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Precipitousness_in_forcing_extensions"}}}}}