{"entities":{"Q2758064":{"pageid":2768803,"ns":120,"title":"Item:Q2758064","lastrevid":41978367,"modified":"2025-05-20T10:43:18Z","type":"item","id":"Q2758064","labels":{"en":{"language":"en","value":"Forcing many positive polarized partition relations between a cardinal and its powerset"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1679337"}},"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":"Q2758064$1D78D581-BBAD-4AA2-8042-317257958B9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3dd1dd89d178c151f21e088e2d5cdcc1af6a8613","datavalue":{"value":{"text":"Forcing many positive polarized partition relations between a cardinal and its powerset","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2758064$A5008A76-E0A5-429F-8B98-4E1A9BF244C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fa90b787e62419962dec1d3e7fc60b86a9f0f22","datavalue":{"value":"0989.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758064$089326C8-B3E3-4E2B-9E33-6A97EBA1F07F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46e1e1dfa1268746927192a4457eb7e2d2b89509","datavalue":{"value":"10.2307/2695112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758064$74430FD8-B0DB-4C52-930F-3FF3B6E02229","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758064$2A5A0F4E-DAD5-46B1-B109-E9596D231F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a5ca8e9cd56b0b792900a19231044b78c478a68","datavalue":{"value":{"entity-type":"item","numeric-id":793717,"id":"Q793717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758064$2F1708F1-DC2D-4938-BA11-CEF26E7F7550","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0325700ca3bc3f7d102c264ab8870dda2d06b4b","datavalue":{"value":{"time":"+2002-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2758064$0C74D546-1EE7-46E6-9123-06F94E229988","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef68bb45cd2d5821c75b5f0eeb710e1b0eda186e","datavalue":{"value":"03E02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758064$02738945-D2FB-48AE-BE68-D9AA0FEDE415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758064$7EA412A7-81D7-4CB5-9681-CF5529E40E90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb9fb9b0217a6073fabb1379d1727b79d91d23a2","datavalue":{"value":"1679337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758064$4107ACFB-BF86-41DE-A254-75B843EB83E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5107a2f573f645b07e86aab1cd6ead959b11a976","datavalue":{"value":"polarized partition relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758064$782C95F6-87F8-4C74-BA0C-EAD12CB148E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c02ad4445b5913b6b5f8fbd21132d8c68768ec0b","datavalue":{"value":"adding Cohen subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758064$F4367A89-C53C-4E48-99B8-586EC660EFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a108ed6cd995f7c04f69efccc425605a1c7ec8","datavalue":{"value":"mixed support","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758064$29227B00-5331-481F-BE4A-0734D7475549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3171115402874da5d271159894b485f8eba9f72","datavalue":{"value":"pure extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758064$00E38BE0-482E-45BB-A130-7888F484ACAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4f57c0f85c4fd6e3bef26a6e95f5a1216fbea09","datavalue":{"value":"apure extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758064$75F8960D-DB72-4AFD-A392-4E784B8C53F2","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":"Q2758064$90E46E24-3CD5-4CE3-A847-BB30BA892B11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf2f54e9ce7e0fa70e6b2b78ee580f57871170b4","datavalue":{"value":"https://doi.org/10.2307/2695112","type":"string"},"datatype":"url"},"type":"statement","id":"Q2758064$62C5481D-0019-4ACA-AEA4-7CDB3FB17ABD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"adf38a2e5153c99e68eac11b159d785159e69b74","datavalue":{"value":"W2077592113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758064$3C88EC01-2E09-4B5A-B7D8-4B95FF751C25","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dada0d0234155df8be9827867bf48357bf1b54a","datavalue":{"value":{"entity-type":"item","numeric-id":1919771,"id":"Q1919771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758064$306AD24B-353E-49C6-BD0A-EDFCC1B9AAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39661e9bd2f2c7c63746948126069ea42253cf7","datavalue":{"value":{"entity-type":"item","numeric-id":1912691,"id":"Q1912691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758064$37321CBE-B471-412F-9C0C-873E60C00937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09580e84138b1cac48ab9cac3b3b26d91ba99d83","datavalue":{"value":{"entity-type":"item","numeric-id":1110504,"id":"Q1110504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758064$42FE2096-8D37-4595-AE5A-12881E0FE41D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ca1db75220e92d15e39b418a55acf5b981a7665","datavalue":{"value":{"entity-type":"item","numeric-id":4384025,"id":"Q4384025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8a4d38b9e1e9a0ba29e518469257e816dbfc881","datavalue":{"value":{"amount":"+0.7597226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2758064$36031209-106A-4DC7-A84D-E04A0BCD130F","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":"c6ccd520c430b20b4d7550f88d437cbd75546b7a","datavalue":{"value":{"amount":"+0.739921","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2758064$8AE937E1-A460-4BB0-9D90-B3222AFAE162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ce6bb399ad66f25912edd1b9b824e33e8197f7","datavalue":{"value":{"entity-type":"item","numeric-id":5439450,"id":"Q5439450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3038f3b4901c9ba93f21f829132000c1539d7a1","datavalue":{"value":{"amount":"+0.7165881","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2758064$6CAFAF71-57D0-4E7A-A9B1-D4514353DFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe9628a6e21327369fc8c8f78c2480f80b070ec","datavalue":{"value":{"entity-type":"item","numeric-id":3376979,"id":"Q3376979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab72a603915f6ebb8a11404ef87d9f5bcfe1dc5","datavalue":{"value":{"amount":"+0.70691365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2758064$D5A9F276-A750-40EB-AD81-F51ABEA0C25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de87b474d2c26fc304abffdd1c9b28d6ecfce0c1","datavalue":{"value":{"entity-type":"item","numeric-id":1288487,"id":"Q1288487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af9f5542f408c313c1bca1cabd82eed88cace8f2","datavalue":{"value":{"amount":"+0.7019801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2758064$7E0C1D4F-91D3-4E1C-92B1-DD7E628F3184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be628228dd74c904651d1ec034eede135a82f85a","datavalue":{"value":{"entity-type":"item","numeric-id":4982445,"id":"Q4982445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65623092bd21258e0566d312a5213ae7a5ee71ae","datavalue":{"value":{"amount":"+0.70084715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2758064$5BE5898F-1C71-458C-BB82-57E2FD990800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19508f4f00fdce100694a50b8d09c04561c15443","datavalue":{"value":{"entity-type":"item","numeric-id":365667,"id":"Q365667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990400616f1c76e0db549d79e64cdacb9f8ddf72","datavalue":{"value":{"amount":"+0.6999936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2758064$2E381483-DD74-41B5-9E26-02B35691433F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e837ca2505a66fe840e7dfb71183fa134349f46f","datavalue":{"value":{"entity-type":"item","numeric-id":3426572,"id":"Q3426572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"551a0719285fa06c1cf34742189c25f8b869c780","datavalue":{"value":{"amount":"+0.6990845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2758064$AE7ACC3D-3139-493E-8F23-177F3C16BABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3dba14682896afc0a84b12c5d192af15f6bbb4d","datavalue":{"value":{"entity-type":"item","numeric-id":5752562,"id":"Q5752562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d04cad62d27f03c2b5ddac00297a17f68022f046","datavalue":{"value":{"amount":"+0.69363666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2758064$EF14D5F7-7441-4A2C-900D-9D0E2C868CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd628bf20c71c518aab0a2201240a1543b91240","datavalue":{"value":{"entity-type":"item","numeric-id":1377609,"id":"Q1377609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da53e10f1a746e0b16cc1de9017a26996372c552","datavalue":{"value":{"amount":"+0.6899251","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2758064$16B32071-44E6-4337-B278-AD8216A8DE6B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758064$FA2D35E4-0A96-43B3-907A-D6708A9EE268","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e9a8d4a2d609d69664e8a01df3656073f8fcfd43","datavalue":{"value":"For an ordinal \\(\\sigma\\) and a cardinal \\(\\tau\\), let \\(\\text{FP}(\\sigma,\\tau,n)\\) denote the set of finite partial functions from \\(\\sigma\\) to \\(\\tau\\) with domain of size \\(n\\). For cardinal numbers \\(\\tau\\), \\(\\kappa\\) and \\(\\chi\\), the polarized partition symbol \\(((\\tau)_\\sigma) \\rightarrow ((\\kappa)_\\sigma)_\\chi^{((1)_n)}\\) means that whenever \\(F: \\text{FP}(\\sigma,\\tau,n) \\to \\chi\\), there exist \\(Y_i \\subseteq \\tau\\), \\(i < \\sigma \\), of size \\(\\kappa\\) such that for all \\(a,b \\in \\text{FP} (\\sigma,\\tau,n)\\), if \\(\\text{dom}(a) =\\text{dom}(b)\\) and \\(a(i), b(i)\\in Y_i\\) for all \\(i \\in \\text{dom}(a)\\), then \\(F(a) = F(b)\\). NEWLINENEWLINENEWLINEThe authors prove that, assuming GCH, if \\(\\lambda < \\mu\\) are regular cardinals, then there is a \\(\\lambda\\)-closed cofinality-preserving poset \\(P\\) forcing that \\(2^\\lambda = \\mu\\) and that for \\(\\sigma < \\lambda \\leq \\kappa < \\chi < \\tau \\leq \\mu\\) such that \\(\\chi\\) and \\(\\tau\\) are sufficiently far apart, \\(((\\tau)_\\sigma) \\rightarrow ((\\kappa)_\\sigma)_\\chi^{((1)_n)}\\) holds, thus generalizing an earlier result of the first author [Isr. J. Math. 62, 355-380 (1988; Zbl 0657.03028)]. NEWLINENEWLINENEWLINEThe forcing adds \\(\\mu\\) Cohen subsets of \\(\\lambda\\) with a kind of mixed support and thus is an elaboration of the method in the latter work. The main point of the forcing is that \\(p<q\\) decomposes in a pure extension which has closure properties and an apure extension which has local chain condition properties so that preservation of cofinalities is guaranteed. The proof of the partition relation uses that \\(\\tau \\rightarrow (\\kappa)_\\chi^{m(n)}\\) holds in the ground model for a sufficiently large \\(m(n)\\), and then appeals to a result of the first author [Set theory and its applications, Lect. Notes Math. 1401, Springer, Berlin, 167-193 (1989; Zbl 0683.04002)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758064$B17094B3-2356-4C1D-812A-A8604211CF2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2758064","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2758064"}}}}}