{"entities":{"Q1335332":{"pageid":1346071,"ns":120,"title":"Item:Q1335332","lastrevid":67433943,"modified":"2026-04-12T17:43:30Z","type":"item","id":"Q1335332","labels":{"en":{"language":"en","value":"Properties of large cardinals and precipitous ideal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 646690"}},"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":"Q1335332$F3232AF1-E999-463B-9CC9-3569A753E388","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9515ec49bcd16752569d2d6365dbc24fb6092e03","datavalue":{"value":{"text":"Properties of large cardinals and precipitous ideal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1335332$3428E14C-BFA5-4CE4-AAB2-E7D74E75EBA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb0e3cb855bd095bd1af58c256b09edab324c711","datavalue":{"value":"0814.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335332$1841AC1F-E1B3-4E9A-8FF0-27D0C6D3543C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d738ab1078f25c91968b5d8d164ce31dcaa5f0dd","datavalue":{"value":{"entity-type":"item","numeric-id":182358,"id":"Q182358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335332$2832BBEE-8CF8-4819-97FA-C2ACDA862CEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45e1edb64efeee080173451c87c3f0c1d8534742","datavalue":{"value":{"entity-type":"item","numeric-id":174829,"id":"Q174829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335332$5B252714-CFB2-44DA-B21B-D7741349E9CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b284e35c1970c32b54ea678933b5f17581b0b244","datavalue":{"value":{"time":"+1995-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1335332$D1FD174C-4FF4-4CB8-8171-55665AC93C1C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e31d1a424cf03188ae1646c76354d43c48864298","datavalue":{"value":"It is shown that if \\(\\kappa\\) is a strongly compact cardinal, then forcing with the L\u00e9vy-collapse produces a model of ZFC in which \\(\\kappa= \\aleph_ 1\\) and, for any \\(\\lambda\\geq \\kappa\\), \\(P_ \\kappa \\lambda\\) carries a \\(\\kappa\\)-complete fine precipitous ideal. The proof goes along the same lines as that of \\textit{T. Jech}, \\textit{M. Magidor}, \\textit{W. Mitchell} and \\textit{K. Prikry} [J. Symb. Logic 45, 1-8 (1980; Zbl 0437.03026)], who proved that L\u00e9vy-collapsing a measurable cardinal to \\(\\aleph_ 1\\) gives a model of ZFC in which \\(\\aleph_ 1\\) carries a nontrivial precipitous ideal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335332$D192BC02-A30F-4645-AE16-6E07CCB7B245","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335332$0A22072A-0B5E-4961-A00E-72660188A0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335332$728E298B-2DDC-4CD7-A691-2A3311EDD975","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b1896a50717b7a7f5e67bb2a8e3afcc6b70323c","datavalue":{"value":"646690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335332$647B1612-4D2F-4B6E-9E04-136D39E12F60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f55f6c7d61503517b036a4447337a2b8246f2431","datavalue":{"value":"generic ultrapower","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335332$38521DE5-C51D-4554-BB56-3280A801DE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9907c21cbac3360f7e105b987a79569c68a35f92","datavalue":{"value":"strongly compact cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335332$B9CD10DE-080C-4721-8C44-59C88004D696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335332$602FD974-7477-4692-880E-46754F3F3B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a4a465ab1186fa328c99538d3c14e41ef7cd29a","datavalue":{"value":"L\u00e9vy-collapse","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335332$A28A37B7-17D8-47A9-983D-40F4AEAB4095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ed210f1e47c5c241befcad3037948b6d354b9f","datavalue":{"value":"precipitous ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335332$8CAF3920-0470-4398-AE7C-9189DA51B4DB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"17234c9f26c305184421b7275b10bb64ce6f01ae","datavalue":{"value":{"entity-type":"item","numeric-id":1100199,"id":"Q1100199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335332$0EE925C9-B58B-4133-B369-8E9D7CAC7A88","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":"Q1335332$6590D66A-C5D4-4458-A61D-6CD9DFE811FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bae5505d92d383d8de436829a0fb7fd977c72c33","datavalue":{"value":{"entity-type":"item","numeric-id":1077413,"id":"Q1077413"},"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":"Q1335332$E91527F8-6D05-44DD-87E8-F9294D25A800","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":"99071c195b1b056b7fc8bb29e5e5d559074a0d82","datavalue":{"value":{"amount":"+0.8276347517967224","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":"Q1335332$02911B4A-B686-4ED1-9B91-977A2A51FDD2","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":"de2f4d93d497ef1acc7597c040c6ab41de99e942","datavalue":{"value":{"amount":"+0.8024000525474548","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":"Q1335332$421F04BA-C176-47D3-88AE-5E80C413FB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79f59aa9a8f639f5955f23a54324b616be856849","datavalue":{"value":{"entity-type":"item","numeric-id":1180399,"id":"Q1180399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7387799ef312d047e6333270bccd845c815520bb","datavalue":{"value":{"amount":"+0.7983005046844482","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":"Q1335332$82270F15-976A-4DA0-B73B-9FE9336EB439","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Properties of large cardinals and precipitous ideal","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Properties_of_large_cardinals_and_precipitous_ideal"}}}}}