{"entities":{"Q532622":{"pageid":534389,"ns":120,"title":"Item:Q532622","lastrevid":62544348,"modified":"2026-04-11T06:48:47Z","type":"item","id":"Q532622","labels":{"en":{"language":"en","value":"Extender-based Magidor-Radin forcing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5884631"}},"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":"Q532622$B309B0FC-C0E2-475A-BFC0-8BDE4E5805A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf260371d06a3a3e16bb2f9f0f09b4bfb6b9a9d1","datavalue":{"value":{"text":"Extender-based Magidor-Radin forcing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q532622$AB1C2875-50E6-444E-B915-2BB348FA1887","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"039470761152f3977dca13c1404515b222bd54ad","datavalue":{"value":"1218.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532622$EBD51FB8-DD44-4939-9D93-A1D90B23B9B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"787c97004544c9460043ea2a46f7a696a33230b6","datavalue":{"value":{"entity-type":"item","numeric-id":529164,"id":"Q529164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532622$82CE4438-8DD6-43DA-8307-CC634D9475CD","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":"Q532622$B30F4A96-845C-4AE8-A252-0B7D44EC6F23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42bc4f213e589cbf3bc7c38ca77a9e50e3eb689a","datavalue":{"value":{"time":"+2011-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q532622$C566EDC9-FC66-42A2-A2B8-A966E8079FD2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ebb4de825b4dff1db500d851c9d82311ace7e275","datavalue":{"value":"From the author's introduction: ``The general theme of the forcing notion we present is as follows. Given a Mitchell increasing extender sequence, \\(2^{\\kappa}\\) is controlled by the size of the extenders, the cofinality of \\(\\kappa\\) is controlled by the length of the sequence, and a club is added to \\(\\kappa\\) so that the power and cofinality of cardinals in the club is controlled by reflections of the extender sequence. In the generic extension \\(\\kappa\\) can become singular, can remain regular, or measurable.''  The paper begins with the definition of extender-based Prikry forcing, which will play a role in the ultimate definition of extender-based Magidor-Radin forcing. The ideas used in the definition of Magidor-Radin forcing are then illustrated via extender-based Magidor forcing using two extenders.  The reader is expected to be acquainted with large cardinals, especially with extenders, measures, and elementary embeddings, and of course with forcing.","type":"string"},"datatype":"string"},"type":"statement","id":"Q532622$6E06C51A-DAED-4C07-999E-50B9ACA17603","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532622$36904173-72B2-4E35-8073-09B078632D14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532622$5876E36B-1660-4EC1-8873-4FFFBEE6822F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532622$F3903FDA-C9E1-4BBC-99A4-11C67DBD8E47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aaf5ffbd399c874597997b8aa74eef1af16bcee6","datavalue":{"value":"5884631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532622$7E4CBCCB-F2D9-4A88-9D4E-98272E3F6AEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q532622$B290CE8D-79CF-42B8-A07A-F923ECD180B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01b96dd30bb4c56c9b95fe4ed35fabe9043b9665","datavalue":{"value":"extenders","type":"string"},"datatype":"string"},"type":"statement","id":"Q532622$12A29359-19F0-4FD6-BBDF-92EF59C2B516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9df78adcef1489d9ee41fc88c3cbadadcdce9b11","datavalue":{"value":"Mitchell increasing extender sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q532622$DD924650-EA49-45DB-A99B-D24ECF2FCE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb5cca3fc4b63bf8fcce2baa1d9782b32c1c7d5c","datavalue":{"value":"extender-based Prikry forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q532622$6191F570-CF50-4BA2-9DEC-EB51A0EC9A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cd4cdbf10f79398daebaf9ab3ad36df0c183b29","datavalue":{"value":"extender-based Magidor-Radin forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q532622$3B835C63-BD04-44BE-8F1F-B7B90AB9BC5D","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":"Q532622$D2B6AAFB-47D4-4662-9DE1-F2EDFCD2E75F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed2d521dbf9c30b399e7404eca2e2501421fbb00","datavalue":{"value":"https://doi.org/10.1007/s11856-011-0038-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q532622$6A88E700-4B87-4EF7-BD2F-0D03E1A9D522","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"779ddd464ec6c2348b3f727bc0ab14a5771646dd","datavalue":{"value":"W2008381487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532622$B498EFF2-1AD4-43F4-AC8E-22D11DD33612","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e1da886eff2ece45f60a81da3affdad267e36d","datavalue":{"value":{"entity-type":"item","numeric-id":1344628,"id":"Q1344628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532622$750D574C-C983-4B1A-9AD5-7E08C9FBD926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff9430a00a032be3175f7ef28583bdc78a7062e1","datavalue":{"value":{"entity-type":"item","numeric-id":4694295,"id":"Q4694295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532622$D6D990B4-C561-4B3D-8C0C-DA2A31A37C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14b17eb5edddc7883850678798a81ab369c57e3","datavalue":{"value":{"entity-type":"item","numeric-id":2493906,"id":"Q2493906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532622$779AAFF1-E905-4ED5-A3A5-A385CCE86D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2da0f50822f1c5ee733470c50f96b314be2a45","datavalue":{"value":{"entity-type":"item","numeric-id":634772,"id":"Q634772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532622$E8E7A986-E04E-4E75-A05E-EA49274E9710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd28e8e9bb3c7dbd586bc472c89ad2d0a1384032","datavalue":{"value":{"entity-type":"item","numeric-id":4794601,"id":"Q4794601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532622$5CB9895C-26ED-4CA6-8E2E-076BF628B3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a8d567c74928c0c3bd2a933b446593f4f5a5671","datavalue":{"value":{"entity-type":"item","numeric-id":3960838,"id":"Q3960838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532622$61D062C0-F345-422A-BA6C-B58E5903CC4B","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":"Q532622$A63C59D9-3043-4CF6-88D9-FF855D2BC2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2851ebf4383149fc6143fa229d7cbe2fb18efffd","datavalue":{"value":{"entity-type":"item","numeric-id":3967532,"id":"Q3967532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532622$C9F3A391-F61A-4E93-9594-551088847615","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b542e63c2ae68bd210377246a06cc638581abb1","datavalue":{"value":"10.1007/S11856-011-0038-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532622$5B64C177-E423-4358-99C5-9AE444A7C8F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81cb9f433ab5334e4729b1543bc4752ffe63041b","datavalue":{"value":{"entity-type":"item","numeric-id":4794601,"id":"Q4794601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d82e92aad526a1d2e160da613e8ffdb38dcaf4","datavalue":{"value":{"amount":"+0.8700888752937317","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":"Q532622$BAA7A829-8326-4F19-90E1-E943D4D3F3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61ab247b29d62dbd1a4266fe15b2c2dd1ec33bc6","datavalue":{"value":{"entity-type":"item","numeric-id":4302343,"id":"Q4302343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d82e92aad526a1d2e160da613e8ffdb38dcaf4","datavalue":{"value":{"amount":"+0.8700888752937317","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":"Q532622$A50DD361-D5A3-44D1-8410-815FDFF8086F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"760faf300f6dcf1100455d63d9def0efb44d2ac5","datavalue":{"value":{"entity-type":"item","numeric-id":2480575,"id":"Q2480575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40d80d118749477ab3d85a01a2ca92e5da389b09","datavalue":{"value":{"amount":"+0.8136420249938965","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":"Q532622$2C5E8AB8-236F-428A-BD34-97E09CBDCD15","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":"04cb28558fcc601291d4fe64fe688f7c0ca2f503","datavalue":{"value":{"amount":"+0.7958739995956421","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":"Q532622$8238B85F-1FA6-4E29-BA1A-92C3443F7601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557c244eea50f4c085e8fd008170beb1a5d73a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4922852,"id":"Q4922852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf063e33382ece8977a04ee06e4db5d092ed9f89","datavalue":{"value":{"amount":"+0.7958738207817078","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":"Q532622$1CAD6B24-A8CC-41D3-973F-3CF2B39F6A46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extender-based Magidor-Radin forcing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extender-based_Magidor-Radin_forcing"}}}}}