{"entities":{"Q1964017":{"pageid":1974759,"ns":120,"title":"Item:Q1964017","lastrevid":57653619,"modified":"2026-03-31T19:27:31Z","type":"item","id":"Q1964017","labels":{"en":{"language":"en","value":"The lottery preparation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1398640"}},"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":"Q1964017$3812C4C7-A7FF-4970-95EE-16F07111FAC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5593aa94e64378da60c7d062672b097c63deb785","datavalue":{"value":{"text":"The lottery preparation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1964017$830745C8-141B-49D2-B4D5-3BF87473AF48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2de01ef887ec033cad8f6716cb3330176face26","datavalue":{"value":"0949.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964017$F0138E23-F1E1-4A09-AF88-D873779491A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f2f8b5e79d948c9cf98813eeb0ffb20fa5c8d0f","datavalue":{"value":"10.1016/S0168-0072(99)00010-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964017$282149FD-676B-460A-B52E-E04CB8EFE73A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c237c0edc686c7e9971d10e201d8b8137b9a6f25","datavalue":{"value":{"entity-type":"item","numeric-id":167886,"id":"Q167886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964017$03D08849-2148-4493-8E5F-552BEC668C2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964017$0D686691-F72B-4AB1-A00B-06E9C1A8D467","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adb119921e441e297327ff60c1a7864930c815e","datavalue":{"value":{"time":"+2000-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1964017$36555158-751F-4C20-A7EF-D76074273685","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b37980d108fa2bb4c48f766d4ff8a0c64e87039c","datavalue":{"value":"https://arxiv.org/abs/math/9808012","type":"string"},"datatype":"url"},"type":"statement","id":"Q1964017$88AE674F-83F7-4C7C-9815-50B61FEC3AA1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9bce0081cb1170d3765554503d48255ff0526c4c","datavalue":{"value":"The `lottery preparation' from the title is a general iteration scheme where at opportune stages one forces with the disjoint sum of a suitable family of posets; the generic filter on the final limit will pick one of these posets `at random'; this explains the term lottery. The preparation refers to the possibility of making large cardinal properties indestructible by certain forcings. One could simple-mindedly try to prove Laver's indestructibility theorem for supercompact~\\(\\kappa\\) as follows: set up an iteration~\\(\\langle\\mathbb{P}_\\alpha:\\alpha<\\kappa\\rangle\\) where at every inaccessible~\\(\\lambda\\) below~\\(\\kappa\\) one holds a lottery among all \\(\\lambda\\)-directed closed posets. In proving that \\(\\kappa\\)~is still supercompact after forcing with this iteration \\textit{and} one more \\(\\kappa\\)-directed closed poset~\\(\\mathbb{P}\\) one would then pull \\(\\mathbb{P}\\) out of the hat at stage~\\(\\kappa\\) in the iteration \\(j\\bigl(\\langle\\mathbb{P}_\\alpha:\\alpha<\\kappa\\rangle\\bigr)\\), where \\(j\\)~is a suitable elementary embedding. The author shows how, with the aid of Woodin's fast function forcing, this idea can be made to work for a host of large cardinals thus obtaining many indestructibility results for them.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964017$8C2B4A03-B711-40BD-B6A6-CF704EDF73F0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cf76eb1ad6b6800930767644a3f137783ccd42eb","datavalue":{"value":{"entity-type":"item","numeric-id":330038,"id":"Q330038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964017$74B3E9F1-B25E-40FC-AF98-18523639CF04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964017$E7FB8FA8-970B-4A4A-BD45-FA4D76B706AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964017$AC26B6A6-520E-46BC-B613-F91286CE81AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12afc4ed6c2cd926eb66111a331d7bdeff7bfe5d","datavalue":{"value":"1398640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964017$C8C205EC-C989-4478-850E-586CF88E7A43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964017$CA52347D-2FDE-49BB-BEF1-20FB94B40B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6879defb7fca696eb789d4f3e9d8b8c22a60ade0","datavalue":{"value":"indestructibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964017$49632DDF-F051-4E08-8CA6-038453121A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebca3a6c115ad9fc460e4a0debbc4ce171f41fbc","datavalue":{"value":"large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964017$B3DA58D7-5217-41BF-9223-58F9CABD8F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9efda0d390df38f4d7680c9afb36c2b3a9dc53","datavalue":{"value":"Laver preparation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964017$092E2931-7FAC-43A1-823C-F2AAE25B9B0C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4f72055177aef9cc51f75ffcba1f84d3792ccac9","datavalue":{"value":"Q56813202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964017$668BA8FB-EACE-4B82-B7A2-EA375782A3F7","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":"Q1964017$6BFABF2F-52DE-49A4-AA1E-DC95AA8504CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d8f89db35dc72f2c73a760339e361641977acac","datavalue":{"value":{"entity-type":"item","numeric-id":1377623,"id":"Q1377623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964017$863F720B-3829-405F-BA0A-D0BF2D0E97DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a851b539a4bb86389a19ce837b92d150cd24e117","datavalue":{"value":{"entity-type":"item","numeric-id":4391428,"id":"Q4391428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964017$289EE721-7BA7-49A8-8CDC-C3757910BAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cc3ad3d7b200d2dc6ac817d0c3b4d4ca5b1395e","datavalue":{"value":{"entity-type":"item","numeric-id":4254689,"id":"Q4254689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964017$0FEDC8B2-A928-47E2-824B-2806A6217EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc58b1be024ee165896c7893e29e6eb87b1f55b","datavalue":{"value":{"entity-type":"item","numeric-id":1591376,"id":"Q1591376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964017$9F0CA8EA-39B2-48FB-88DC-28EC9D5ABFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c35e8a4816f94466131e0dfc1768790b430a2b","datavalue":{"value":{"entity-type":"item","numeric-id":4934024,"id":"Q4934024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964017$9C66A396-027E-4D52-89A3-0C2D1F03EFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792619787fc92a8791f04699f311caaa4a52e7c3","datavalue":{"value":{"entity-type":"item","numeric-id":1114682,"id":"Q1114682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964017$61BC5A47-B1D0-44DD-8CD7-787156A10ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f09a7c3c58a139c1a50584d494b99339c6b17a","datavalue":{"value":{"entity-type":"item","numeric-id":4292607,"id":"Q4292607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964017$D07865ED-7AA0-4E03-A47C-5FD7CF4B61B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5cf4b21b3cc5a0c9be7ceec4ab89cdf57a6d1a","datavalue":{"value":{"entity-type":"item","numeric-id":4358046,"id":"Q4358046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964017$E03E6C6C-F77D-458F-AEDB-F3EBE070393D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85ce80268d3550019075643d4f01e53da9b86a45","datavalue":{"value":{"entity-type":"item","numeric-id":1295367,"id":"Q1295367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964017$C0D5E21F-A112-4225-B8AD-1A626DA58734","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":"Q1964017$E177A8E6-F5A0-4EAE-AA0F-AFA138860782","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":"Q1964017$3030A585-B9A0-4F77-86AC-7038330659D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54ac4bbcebc2a2302d9642f25f7332b2c3b57843","datavalue":{"value":{"entity-type":"item","numeric-id":4109681,"id":"Q4109681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964017$59FF81D1-9B18-4C8E-B279-E7F91FFE6D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22c911c5e724f088fc83f5dd92ca1a979518a96","datavalue":{"value":{"entity-type":"item","numeric-id":4053659,"id":"Q4053659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964017$BFFCC8DD-3ADB-4714-A9DC-98996206D0F2","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"3e55c951c7bbd030b0498d40ac6e36d5c38a58a5","datavalue":{"value":"journals/apal/Hamkins00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964017$95B8BB9C-1095-49A1-85BF-2396FCFB2599","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24bcdd79b315b4213c64212a09297d43d2947e97","datavalue":{"value":{"entity-type":"item","numeric-id":1423631,"id":"Q1423631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4abb5fc3da732f6a565167583ff9467d37617489","datavalue":{"value":{"amount":"+0.9164025187492372","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":"Q1964017$02F0BEBA-4FAC-4A30-978A-F959B22FD37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6eed184ebedfd67045b48dd344a0c82c04d9820","datavalue":{"value":{"entity-type":"item","numeric-id":989412,"id":"Q989412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa6260e255cbbb5d029008f33683997bea5d7c19","datavalue":{"value":{"amount":"+0.8078749179840088","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":"Q1964017$12D05A33-5614-4F07-8309-51D7D3117D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5566208a878caa018c27a6a2886f896d0227a42","datavalue":{"value":{"entity-type":"item","numeric-id":1295367,"id":"Q1295367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91209b05a0465715c92abab46007687389697343","datavalue":{"value":{"amount":"+0.7458147406578064","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":"Q1964017$48CA00B0-B25C-45E5-9443-4E0A8FD48169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"349cc714c2d5f977b38dd72947b59df044d6ccad","datavalue":{"value":{"entity-type":"item","numeric-id":1734256,"id":"Q1734256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8536b4d9f1d1ea13677f4a9a6a8481f0492df721","datavalue":{"value":{"amount":"+0.7432286739349365","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":"Q1964017$E6E73294-11D3-4FC2-956D-AB1F6F017F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95bd8ff4f6c263afb392a104be3467c0e2f6bd37","datavalue":{"value":{"entity-type":"item","numeric-id":5964928,"id":"Q5964928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff958e200c8cbfae660663a7a20bfa1ada15e0b","datavalue":{"value":{"amount":"+0.7289212346076965","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":"Q1964017$C99DFF62-1831-4EB5-83D3-EA0F5CB95AFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1964017","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1964017"}}}}}