{"entities":{"Q2853978":{"pageid":2864698,"ns":120,"title":"Item:Q2853978","lastrevid":83779511,"modified":"2026-05-07T11:16:08Z","type":"item","id":"Q2853978","labels":{"en":{"language":"en","value":"A model with a precipitous ideal, but no normal precipitous ideal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6215937"}},"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":"Q2853978$FE01A971-AAE2-4C8A-8B73-6A88156B0C2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1389647a93e1ebd5e2bf324f58755271b49eea5","datavalue":{"value":"1329.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853978$1F2622BF-4BCB-4650-8865-BFF3E954B9FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fefe80a28ec90e659a3100a3fcc04c050e2e926f","datavalue":{"value":"10.1142/S0219061312500080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853978$9F620B90-4230-4ECA-9AE0-00A05633047C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7c127e90f3bdb626ec3e36ebc57f0604031b78a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732505,"id":"Q2732505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853978$019C0C15-5678-4EC9-BE73-3B5C6825C068","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"808fc247b12b30340c51bea594eefecd0658a17c","datavalue":{"value":{"time":"+2013-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2853978$D53A96FA-3A8D-4E70-B13C-5427C8BC616D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853978$AB349817-9B7C-4370-88FB-B9C59143744A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853978$619075F0-BCD0-4B59-9B6E-EEAAB302E085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853978$8DFB30B2-FCFA-4A1A-A582-D8624769FAFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65ca9b382c206bd4793dd00badbb88e60fbffaac","datavalue":{"value":"6215937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853978$D6E7DE4A-30FF-41D2-9714-AB5611AE317E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"928c534cb6979efa011bfce42323972c8bedcbe0","datavalue":{"value":"precipitous ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2853978$193F52EC-78E4-4B32-AD71-D46616F40738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa9a765188d83f7172156e8e76fec4b6236b2cd5","datavalue":{"value":"Rudin-Keisler increasing sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2853978$AE2785BE-BF3F-4D77-B3B1-A016F3417FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e269bbc40a3436145ec6a354f8d878b3c6bcc99","datavalue":{"value":"normality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2853978$65C6F02C-E4E4-4D47-A3AF-D59B6683BFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615e3a661ce5eb5b3d63167f93e753472874f343","datavalue":{"value":"\\(\\infty\\)-semi precipitous filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q2853978$E2ECF03D-9B3A-423B-8FB7-4E98014E874E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d84e6e76f4e370b4f0cdf241935af18cad5ae955","datavalue":{"value":{"entity-type":"item","numeric-id":1256455,"id":"Q1256455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853978$11755243-AF52-4E49-80FA-AFAE81C025A6","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":"Q2853978$A70ED1F9-C24A-4BBF-AE0E-546F0B1F6917","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"697d6bf7aba48b09693e8d8abafc70f2e41b64d4","datavalue":{"value":{"entity-type":"item","numeric-id":1262307,"id":"Q1262307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853978$D3244AD1-29C6-40AC-ABA6-2F83C5D0B02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74668d2008a8e4686f194b79160f9a210df34f04","datavalue":{"value":{"entity-type":"item","numeric-id":964452,"id":"Q964452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853978$5EB0E211-F0B9-4D9D-AD40-E7F4A2911BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"502d791bfe659f18574871cfc60d295fc2674551","datavalue":{"value":{"entity-type":"item","numeric-id":1120570,"id":"Q1120570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853978$585E89B0-F7EB-4154-A04D-C47C0930B8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820f067a922f7f5ed7fb2c83fefdb4042ca29084","datavalue":{"value":{"entity-type":"item","numeric-id":3486560,"id":"Q3486560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853978$B974298C-30E3-43CB-A995-3949E7DF3C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"128e5f5a12ab30aecc4f5a2db7096103012ee6d7","datavalue":{"value":{"entity-type":"item","numeric-id":3503751,"id":"Q3503751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853978$AFC1596A-AC88-420D-9C3C-A7D3F3D6F597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6d5100ded56a209dd7dd33a21cb21d492816d6","datavalue":{"value":{"entity-type":"item","numeric-id":5962251,"id":"Q5962251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853978$43D3C920-5F67-4136-A0A5-5D35BCB3C141","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":"Q2853978$35D9BE5F-49E2-422A-80DD-128474E1B554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6ee77ec8aad0770198d2fe755a567982c970025","datavalue":{"value":{"entity-type":"item","numeric-id":4106204,"id":"Q4106204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853978$5C328867-1732-4F00-A8E3-3F5026D8564D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32422ceb1d4b2a2beef6558747aaa93a3bf7ac9f","datavalue":{"value":{"entity-type":"item","numeric-id":1077413,"id":"Q1077413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853978$C3D7DB85-9429-443A-B3C4-CD1AEEB565D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16b51d8dea5a8db7e377e4c820dac74729ee58ac","datavalue":{"value":{"entity-type":"item","numeric-id":4458694,"id":"Q4458694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853978$BE46A018-9A65-4AA7-8CD3-92E6112EE5D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44e1c4ab73678960fd71fde9f5bc41cbdf130187","datavalue":{"value":{"entity-type":"item","numeric-id":3033757,"id":"Q3033757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba2db3b7faeb1650bf8fe30caa8abb26a1c4ef82","datavalue":{"value":{"amount":"+0.84440565","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":"Q2853978$45A8F940-8FDA-48C5-A62C-EA0CA0461B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4581d1aaa2aae5658955c5eef0fb31eafcf1d573","datavalue":{"value":{"entity-type":"item","numeric-id":5962251,"id":"Q5962251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbd4227a06f9f7e9b9b2be5717279171c9997afd","datavalue":{"value":{"amount":"+0.80602753","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":"Q2853978$5E67D1B2-A296-4FEB-A4D4-61819F72A79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61b375333fc31869272de131f3ba9c7d401c271b","datavalue":{"value":{"entity-type":"item","numeric-id":1938398,"id":"Q1938398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"692b5493c271253a6a6d7bb493bbdc2d6d4b737a","datavalue":{"value":{"amount":"+0.7950861","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":"Q2853978$6BF45D8C-3858-4A2B-877B-061741AF5B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f925f29640a8d68b7eaa3fc736d877da3f47403","datavalue":{"value":{"entity-type":"item","numeric-id":4551992,"id":"Q4551992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f274f39dfcb95dd265c5ef961d17e999eaaa942","datavalue":{"value":{"amount":"+0.7719716","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":"Q2853978$6D4B8FBB-1214-42B1-928D-C10BBB9EF995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cea39a1487e015c48258ca50a84f2e1b6e90a1a2","datavalue":{"value":{"entity-type":"item","numeric-id":757360,"id":"Q757360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42fe799503314ad25ad08fc98b56f12839a6a075","datavalue":{"value":{"amount":"+0.7692353","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":"Q2853978$D8A6944A-E785-4ED5-8B39-848691AFEC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452ff50e407c1b76f8d8da73d94ec6783451ba4d","datavalue":{"value":{"entity-type":"item","numeric-id":964452,"id":"Q964452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e969de2663b0374d5a57849f62fa5dfc468556ea","datavalue":{"value":{"amount":"+0.7656492","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":"Q2853978$CECF0B74-984F-4C12-BD90-C3476FCC740C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17a4d4762f6ba548aece2de6a309b6aec949c91b","datavalue":{"value":{"entity-type":"item","numeric-id":3030822,"id":"Q3030822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b62c27925886dc7fddbf0455f85ac2f7fa0e01df","datavalue":{"value":{"amount":"+0.76543576","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":"Q2853978$38CD694D-0206-4A26-AB4B-65B60D3DDA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6941bf3a12d7638b3d92d41b181dea8d3dd6ad21","datavalue":{"value":{"entity-type":"item","numeric-id":3708008,"id":"Q3708008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73b71ed3bc25a3ef53ec36c7bdc687d16bfba5ad","datavalue":{"value":{"amount":"+0.7637967","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":"Q2853978$20FE2A29-092B-4FC4-8843-B15E1C67C682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0f542bb55938d2d016db7c017151bc4c18575bd","datavalue":{"value":{"entity-type":"item","numeric-id":3809779,"id":"Q3809779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"506956dd63f368426a158e453184501824de26b0","datavalue":{"value":{"amount":"+0.7580995","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":"Q2853978$D5419FED-3861-4FE3-9A86-14587B82D8A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80ec6b5d92639da9eb274ff51a822dbfb397579f","datavalue":{"value":{"text":"A model with a precipitous ideal, but no normal precipitous ideal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2853978$9BAC9628-90B9-4733-84EE-95A02FAD46D4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f03183ba552c1eccc98e72abdbca1e0cf4a5b5ad","datavalue":{"value":"\\textit{T. Jech} and \\textit{K. Prikry} [Bull. Am. Math. Soc. 82, 593--595 (1976; Zbl 0339.02060)] introduced the notion of precipitous ideal as a way to construct generic elementary embeddings of \\( \\mathrm{V} \\) into a transitive class \\( M \\). More precisely, if \\( I \\) is a precipitous ideal on \\( \\kappa \\) and \\( G \\subseteq \\mathscr{P} ( \\kappa ) \\), then in \\( \\mathrm{V} [ G ] \\) there is an elementary embedding \\( j \\colon \\mathrm{V} \\to M \\) with critical point \\( \\kappa \\). The existence of a precipitous ideal is equiconsistent with the existence of a measurable cardinal, but since \\( j \\) lives in \\( \\mathrm{V} [ G ] \\) but not in \\(\\mathrm{V} \\), the cardinal \\( \\kappa \\) need not be large at all. In fact, it can be quite small, for example \\( \\omega_1 \\). In the following four decades, precipitous ideals (and their stronger siblings: saturated ideals) became a standard technique in the set-theorist's toolbox. Despite being studied for such a long time, a basic question about precipitousness remained open: does the existence of a precipitous ideal imply the existence of a normal one? The present paper is the culmination of a series of papers (some of which by the author) and shows that the answer is negative: assuming the existence of a measurable cardinal \\( \\kappa \\) with Mitchell order \\( \\kappa ^{++} \\) there is a model where \\( \\omega_1 \\) carries a precipitous ideal, but there are no normal precipitous ideals.NEWLINENEWLINE The paper is clearly written, with a clear notation, despite the proofs being very intricate and difficult.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2853978$BC78B467-67FB-4E17-9E36-07FDB8E1DC29","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7fb8466b7fa1920318e62ac90a313988270be42d","datavalue":{"value":{"entity-type":"item","numeric-id":220687,"id":"Q220687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853978$91B58F33-4FD8-497B-9629-84631A4BEEFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A model with a precipitous ideal, but no normal precipitous ideal","badges":[]}}}}}