{"entities":{"Q2449856":{"pageid":2460599,"ns":120,"title":"Item:Q2449856","lastrevid":51996680,"modified":"2026-01-20T17:24:02Z","type":"item","id":"Q2449856","labels":{"en":{"language":"en","value":"Forcing Magidor iteration over a core model below \\(0^P\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6294144"}},"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":"Q2449856$42D0DDFD-BE1D-4A8F-88F7-13CF7771D7A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be0733479cc96023d3a3239321cffd198061d589","datavalue":{"value":{"text":"Forcing Magidor iteration over a core model below \\(0^P\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2449856$543FA63E-55F4-49B7-B65D-E735CABCCCB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"237573cc75e588cecd15f11e3dd28e1cc94431c0","datavalue":{"value":"1317.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449856$B659A8FB-AC35-455F-B2F6-454D75FAB575","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61430fd18e03b9d09f8d9b4d67e46476425af22a","datavalue":{"value":{"entity-type":"item","numeric-id":312328,"id":"Q312328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449856$52FD6316-A89A-4447-918C-699757420659","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":"Q2449856$EB1059A8-016A-41DD-A33B-1D17A2111F9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b98a65e001f93197037bf094eccba452bf828a3f","datavalue":{"value":{"time":"+2014-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2449856$4BA59676-1624-4C26-A4A9-BC4689EFE9B1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ee27def42ad675a64450766c0c4e3fbe31148eac","datavalue":{"value":"One of the problems which has been extensively studied in the literature is the problem of the number of normal measures a large cardinal can carry. An important open problem is if a strongly compact cardinal can carry more than one normal measure.  The author studies the number of normal measures in the extension obtained by Magidor iteration of Prikry forcing and proves the following:  { Theorem.} Assume that \\(0^{\\P}\\) does not exists and \\(V\\) is a core model. Let \\(\\mathbb{P}_\\kappa\\) be the Magidor iteration of Prikry forcing of length \\(\\kappa,\\) such that \\(\\kappa\\) is the least measurable cardinal in \\(V^{\\mathbb{P}_\\kappa}\\). Then to every normal measure \\(U\\) on \\(\\kappa\\) in \\(V\\), a normal measure \\(U^{\\times}\\) on \\(\\kappa\\) in \\(V^{\\mathbb{P}_\\kappa}\\) associates such that  (1) if \\( U \\neq W,\\) then \\(U^{\\times} \\neq W^{\\times}\\),  (2) any normal measure on \\(\\kappa\\) in \\(V^{\\mathbb{P}_\\kappa}\\) is of the form \\(U^{\\times}\\) for some normal measure \\(U\\) on \\(\\kappa\\) in \\(V\\).  As a corollary to the above result, the author concludes that if \\(o(\\kappa)=\\lambda\\), then there are exactly \\(\\lambda\\) many normal measure on \\(\\kappa\\) in \\(V^{\\mathbb{P}_\\kappa}\\).  It is worth noticing that the problem of finding the number of normal measures on the least measurable cardinal \\(\\kappa\\) has been settled by the work of \\textit{S.-D. Friedman} and \\textit{M. Magidor} [J. Symb. Log. 74, No. 3, 1069--1080 (2009; Zbl 1183.03042)], who showed how to achieve models with an arbitrary number of normal measures \\(\\lambda \\leq \\kappa^{++}\\) (with \\(\\kappa^{++}=2^{2^\\kappa}\\)) just from one measurable cardinal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449856$45705E50-3A6C-4E65-9472-09AB506B21AB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d0ae6bbfe5977cade017c3a0187b38ee48e6856a","datavalue":{"value":{"entity-type":"item","numeric-id":453188,"id":"Q453188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449856$3E51B8C1-9D81-4E36-ACD7-C7129F629450","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449856$63F70B10-2ED0-4F3E-AF2F-F0425F9AFC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449856$A9C51066-CDF9-4AF7-BC2F-91AE8B88515D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"489291668c12b6c4d9b262ef8068ec8ef1ac7cef","datavalue":{"value":"6294144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449856$90E35D72-1C8E-4600-88D1-229F8D8EC7A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4096bed4636d69d2de283be13841d91ed5f078a4","datavalue":{"value":"Normal measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449856$6453DF4A-3868-4188-B31F-2FF73CAC660E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73abde84ac27af339686d56241aad2aa1bb64603","datavalue":{"value":"Magidor iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449856$2279B288-965C-46B8-9AD2-2E407CD9CBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c69722ebd731bb9f265d2ebefbf6a791849991ad","datavalue":{"value":"Prikry forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449856$E74FFB80-A476-4B2B-A3D2-16CD1A569CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdb2b4064217687f1d0d22eafe8b1c1895d9d9b3","datavalue":{"value":"Core model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2449856$5B56CF50-8E40-40B6-ABB5-89124416CC86","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":"Q2449856$7F5D183A-88B2-4306-8701-1609A172EBF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62bf5ea57f24e328d7dd99daa6b2818403aa4e83","datavalue":{"value":"https://doi.org/10.1007/s00153-014-0370-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2449856$7D73CCEC-77FB-4239-9178-CA1007BD441B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ac8deb9ac5d600ebb17570edf25db86e7e66a2c","datavalue":{"value":"W2021558433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449856$7D7E55E0-4001-4344-9C1A-909617E69381","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"439f123e857a22a190b1d0f9b6b8f40b28c77415","datavalue":{"value":{"entity-type":"item","numeric-id":3432792,"id":"Q3432792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449856$6D8133E6-E93D-476A-A5B8-4938DA0BFD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c0c8afb27cbfb169304dfebcc212846c3299a16","datavalue":{"value":{"entity-type":"item","numeric-id":3751572,"id":"Q3751572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449856$77E1E845-7D9B-4586-A664-290AAFDBBCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d8ced9c9ed780f00c40ea2d91b3c0dbc3b58121","datavalue":{"value":{"entity-type":"item","numeric-id":3399193,"id":"Q3399193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449856$AC2F5F74-0445-436C-B87C-328D4D04BF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db05784e8512a0a1b98924638d7ce1e6df9cb12","datavalue":{"value":{"entity-type":"item","numeric-id":3053903,"id":"Q3053903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449856$82F55844-5BE3-41A0-9BE8-BE704A12D2B3","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":"Q2449856$52A5077D-5573-4597-9E69-05913A36A51A","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":"Q2449856$02B82162-E43E-4E6D-8D7B-3AF5F8491598","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":"Q2449856$0D02B46A-2EBA-4FF4-8297-F2D463306FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64961dfda9d7957bb355ebcf50255306e7f6abfe","datavalue":{"value":{"entity-type":"item","numeric-id":5613932,"id":"Q5613932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449856$AB407B9F-F735-4289-AD58-B9679BD7CDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"590d4ee1846fa856c6a8e495485ffc2957024707","datavalue":{"value":{"entity-type":"item","numeric-id":4899164,"id":"Q4899164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449856$27CF0D4E-3ED9-454E-B8AC-CFB02F08570D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ca31230c67c3d2f888b5cfd4340c67d61e5719","datavalue":{"value":{"entity-type":"item","numeric-id":5950797,"id":"Q5950797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2449856$4FF2D0E8-8216-4CA3-88CC-3725BB86E51E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"260b7a87cffa9ec6aa1684bf50a046aeec19c0f6","datavalue":{"value":"10.1007/S00153-014-0370-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2449856$66E658EA-1F52-431F-9AE5-AE8EAE10A043","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f322b51d2de7824362c1e852a61d42f3e0bc15","datavalue":{"value":{"entity-type":"item","numeric-id":3026999,"id":"Q3026999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c4b51b3e513542ecdce503c94236672a4b034f","datavalue":{"value":{"amount":"+0.8101874589920044","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":"Q2449856$49D1363A-9618-44B7-977F-3C017BE3F17D","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":"2990d3a2b62b50b8bad72184b94ede7320744459","datavalue":{"value":{"amount":"+0.7879107594490051","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":"Q2449856$A8DACA76-2452-42F1-AF99-A4935271DCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65155f1a32b685184eb9850332a033c0553f90c4","datavalue":{"value":{"entity-type":"item","numeric-id":2576644,"id":"Q2576644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e99203a15489d87d316461b01fea8a48e8f99919","datavalue":{"value":{"amount":"+0.7879104614257812","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":"Q2449856$DA220597-FC1A-40B2-A07C-FDA0D0530B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46ca01f7727873b04a99a2c03e99ac28ba4b9d3c","datavalue":{"value":{"entity-type":"item","numeric-id":2084953,"id":"Q2084953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13989a8c50643ad6d0b717db2f6aa2ba816fa603","datavalue":{"value":{"amount":"+0.7813142538070679","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":"Q2449856$D9B0A933-AFA9-498B-90D2-21072418C052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"292d2e1798aa3c4ba24f08bc036d402cc789550d","datavalue":{"value":{"entity-type":"item","numeric-id":5477633,"id":"Q5477633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbfce09b2b949ce5fda0bdd898d2b6704e92f9c8","datavalue":{"value":{"amount":"+0.7658606171607971","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":"Q2449856$1372F896-8654-4DE6-B687-213403339B79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2449856","badges":[]}}}}}