{"entities":{"Q283096":{"pageid":284863,"ns":120,"title":"Item:Q283096","lastrevid":60685425,"modified":"2026-04-10T18:30:16Z","type":"item","id":"Q283096","labels":{"en":{"language":"en","value":"Restrictions on forcings that change cofinalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6580184"}},"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":"Q283096$3FC21AE0-0F3C-4579-A95D-5EB8BFD3C81B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3c34ceb90b3bc4fe57115509bd74de826e987c3","datavalue":{"value":{"text":"Restrictions on forcings that change cofinalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q283096$649B8011-9C41-49E4-8C2A-0CC752240FE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a90cc4acfc9f5895415b8598d657eafbba77172","datavalue":{"value":"1341.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283096$2FFED957-632E-4D53-AD40-BCD928F5B863","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab81b311d2124fb14599a1aaaa481ae83935d71e","datavalue":{"value":{"entity-type":"item","numeric-id":283094,"id":"Q283094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283096$571B3763-83A9-4758-9CDD-8919F62D90F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e253b27445c92d5126814a6a16a57df8ac0c14a7","datavalue":{"value":{"entity-type":"item","numeric-id":283095,"id":"Q283095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283096$50261DEC-4816-43C5-9290-59C67B975CA3","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":"Q283096$108808B5-9B65-451B-8B57-812D56E9B407","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"659004eb67caabef990f3b9c257f2b5657544074","datavalue":{"value":{"time":"+2016-05-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":"Q283096$7538DBE0-178A-4D12-A32D-F7F3F2B8E6D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"313759356b855532d51428a6487cf9dd8777ffd5","datavalue":{"value":"https://arxiv.org/abs/1502.02165","type":"string"},"datatype":"url"},"type":"statement","id":"Q283096$9A898EA8-84C3-4E51-962A-97DB657C3C83","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"50a6db078b1c07ef3b3ca4701d214a0e5f8ab5b0","datavalue":{"value":"This is an interesting and short paper in which the authors prove some results about forcing notions that change the cofinality of cardinals. It is shown that a proper forcing notion (in particular a countably closed forcing notion) can not change the cofinality of a cardinal without collapsing it. This result shows that the use of finite approximations in the definition of forcing notions like Magidor or Radin forcing is somehow reasonable.  The main results of the paper show the difference between Prikry forcing which changes the cofinality of a measurable cardinal to \\(\\omega\\), and forcing notions which change the cofinality of some large cardinal to an uncountable regular cardinal. Let \\(\\kappa\\) be a measurable cardinal and let \\(U\\) be a normal measure on \\(\\kappa.\\) Also, let \\(\\mathbb{P}_U\\) be the corresponding Prikry forcing. As it is well-known, (the Boolean completion of) \\(\\mathbb{P}_U\\) is homogeneous and it adds no bounded subsets to \\(\\kappa\\), while it changes the cofinality of \\(\\kappa\\) to \\(\\omega\\). The authors show that there is no forcing changing the cofinality of a cardinal \\(\\kappa\\) to an uncountable cardinal while having the above two mentioned properties (the results are stated and proved in a more general form).  The authors conclude the paper with some questions and conjectures. In particular, it is asked if it is possible to change the cofinality of infinitely many cardinals to a constant cofinality without adding \\(\\omega\\)-sequences.","type":"string"},"datatype":"string"},"type":"statement","id":"Q283096$6725B006-9F91-4BD5-8183-9E66D34CABF6","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":"Q283096$31C6D62D-5E3B-4ACD-B11E-C48A380F4831","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283096$335CCC7C-8392-4152-B202-032D8A12E645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283096$E894D70B-FFED-499A-B2BF-E8280BD0BDE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d31c6073f49b9cd783118a2d1b11940fa1698c7","datavalue":{"value":"6580184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283096$9DB98A4A-5FF3-4948-99DD-F251EDC175DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebca3a6c115ad9fc460e4a0debbc4ce171f41fbc","datavalue":{"value":"large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q283096$CD64A60B-3A10-4D95-8BD6-5A7149F71C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q283096$7FA75E64-035D-40A1-995B-1ED39394A7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dcbaebaf6138dc5c67dbbcfe51e93dfcac2d6ba","datavalue":{"value":"Prikry-type forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q283096$34149FEB-E927-4A66-874E-983F8BE03348","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":"Q283096$63BACFB6-E55A-40E5-A2E6-F45585A7B2DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fbff1b9c42aef3cf8afaa51335fec0c5527055d","datavalue":{"value":"W2128401853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283096$A98D48D0-4625-4C34-AFB1-4C107CF1647B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5963a2f9e989c283f8e206ca7f177df52be2e093","datavalue":{"value":{"entity-type":"item","numeric-id":1105593,"id":"Q1105593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283096$7313B549-3B7A-440D-AD10-BB57DD1341ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d98436241955b6418d250465450f283fbea7e25","datavalue":{"value":{"entity-type":"item","numeric-id":1218423,"id":"Q1218423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283096$EB8A9611-F347-4828-A4F3-A108C38C3C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc024b57864a78c1fbcd0862475ea6aea6110c9c","datavalue":{"value":{"entity-type":"item","numeric-id":4108332,"id":"Q4108332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283096$B14CBD72-277E-4262-8354-2582E6BB0889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb33f5f617414ea19b9ff30048b86726ad89e8a","datavalue":{"value":{"entity-type":"item","numeric-id":2795202,"id":"Q2795202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283096$A215A5BB-8340-4E3D-9336-2240149FF983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bfa8394f77a3de28772ecc88086b6d4867e30f7","datavalue":{"value":{"entity-type":"item","numeric-id":4326402,"id":"Q4326402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283096$DD5603AD-B81E-44D0-A211-D6319FAFCB6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"374a65d228413ed5b8db9bd8e1697fd3d6d93784","datavalue":{"value":"10.1007/S00153-015-0454-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283096$5F6BB1D9-8EE6-4B90-88FA-95ACDEC8319D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b568ffbacf070ce2df2f1124a84473daccb06e03","datavalue":{"value":{"entity-type":"item","numeric-id":6047715,"id":"Q6047715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c530705b51adb7f9999ed2015ba99d1f2e6fc5b","datavalue":{"value":{"amount":"+0.88260466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283096$C0C1B701-E9AD-45DF-97BF-E2ACACA1A12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd576f5c66b6dfc473523ef48b5bb4ee10a41f94","datavalue":{"value":{"entity-type":"item","numeric-id":2134252,"id":"Q2134252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f87bf5091dfe84b2067c8d2ff319408d73a5a27f","datavalue":{"value":{"amount":"+0.8819294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283096$5E98E986-20EA-40ED-BE62-AB96FDB198E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9aa3edc1e984c6c6cd5b68653fd6400988663c8","datavalue":{"value":{"entity-type":"item","numeric-id":5939844,"id":"Q5939844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9deda38d1a3017417bc801b242919c8e4296c15b","datavalue":{"value":{"amount":"+0.85807705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283096$BBFCD427-17CB-48CA-96C3-7A794B1E5CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d62cdfea0ddd582d4158f82b0176f925483fb3d","datavalue":{"value":{"entity-type":"item","numeric-id":5477366,"id":"Q5477366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8d7bcf5b83c5b356362bbdcdc4dea69b132dddb","datavalue":{"value":{"amount":"+0.8580295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283096$30E2130E-5906-4D77-ACFD-CAD059A43A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bb002631bb3e97a5f2fcc4233acfa12b360e13","datavalue":{"value":{"entity-type":"item","numeric-id":5112389,"id":"Q5112389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03bccc03c5a6192da3803ca15f320f12d063fa18","datavalue":{"value":{"amount":"+0.8558831","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283096$DFB3D36B-8AD0-444B-AE0E-F7C88E4F48FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0408133de87093f2621e07365ab84a1b22f0f324","datavalue":{"value":{"entity-type":"item","numeric-id":3570165,"id":"Q3570165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ce6b4ff9c7dfd1f068234eeb8435409f207b775","datavalue":{"value":{"amount":"+0.8528486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283096$EA3B1C38-F0D1-4DD8-A540-2909ED143097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e15593bb49c0fa9eb5c73a68474de0934acd0c5b","datavalue":{"value":{"entity-type":"item","numeric-id":2407561,"id":"Q2407561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e7bd87ad56d5821a5ad0da89fdceb52d544e03b","datavalue":{"value":{"amount":"+0.8523268","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283096$8414E4FE-65CD-4E3D-B061-EE144BA577BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37d905dd399aa601f3095aabd03b1e5efd4c45d1","datavalue":{"value":{"entity-type":"item","numeric-id":2936226,"id":"Q2936226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"254671bf33fd0d90834cf78feab0bbdc4fa412be","datavalue":{"value":{"amount":"+0.850787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283096$F7A189FD-8513-4461-896C-8B2CCD08CC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04e0534d185719c7adfb2b1e7703ec21ddcef35d","datavalue":{"value":{"entity-type":"item","numeric-id":5107220,"id":"Q5107220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9002ac4ad3847d1431ff69be4a46180c27408f53","datavalue":{"value":{"amount":"+0.84929127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283096$120D56CD-0011-437D-991C-0DB987A73D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6600f4d6f6235f68c952484a2e6cc7678c730bd","datavalue":{"value":{"entity-type":"item","numeric-id":5316373,"id":"Q5316373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b55767ab602a6b862dea608124e45b82fe03b6db","datavalue":{"value":{"amount":"+0.8476047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283096$1D517F12-2D2F-4D12-98E5-2255A0E4E377","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Restrictions on forcings that change cofinalities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Restrictions_on_forcings_that_change_cofinalities"}}}}}