{"entities":{"Q2747720":{"pageid":2758459,"ns":120,"title":"Item:Q2747720","lastrevid":47685253,"modified":"2026-01-02T10:33:40Z","type":"item","id":"Q2747720","labels":{"en":{"language":"en","value":"Polarized partition relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1658177"}},"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":"Q2747720$761C8D46-09BE-4B8E-962E-A33B22071DF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb33a94eb592469fd4dc20d94b40276ebe45d7dc","datavalue":{"value":{"text":"Polarized partition relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2747720$E18F2107-F8DC-4114-8C4E-0E28532FBB2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc326c1d904ca7352d4b7edb0625774e3aaf1dc8","datavalue":{"value":"0994.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747720$E59FBCA6-71E2-411A-B003-5F1055B386FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fddb621a265a45330dc3ec1a840eca6b11f2f7d1","datavalue":{"value":"10.2307/2695046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747720$046E8377-277E-4213-865C-5715C7412EA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25bb6ca44e5168c576d3662d6d70d9dc996ecbd0","datavalue":{"value":{"entity-type":"item","numeric-id":689186,"id":"Q689186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747720$39B6736E-1FAF-4D9F-A41D-67AAE8C9C9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee49ae8f184177da0258b703b63e44e5249936ca","datavalue":{"value":{"entity-type":"item","numeric-id":1226099,"id":"Q1226099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747720$615AFA74-BB31-4BF6-84FF-5E11D391C054","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e5705bd9f0e813eda9f9c64dbcea1917221995f5","datavalue":{"value":{"time":"+2002-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2747720$A4162036-9383-4A3F-917A-BB5F7F348F2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef68bb45cd2d5821c75b5f0eeb710e1b0eda186e","datavalue":{"value":"03E02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747720$EA3F9130-678E-47F8-A9D5-69B73D1B042F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60b91ba68c2e0dfc4a9c2456c743e6cb86a50ab6","datavalue":{"value":"1658177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747720$E8D455B3-8695-414F-9D30-013690723795","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84332c9a124a5f1bb3835a73069b31b8503d1c86","datavalue":{"value":"infinite cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747720$66E1766D-9FD7-4CB1-B4DA-DB119C967D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef5b43bf8b34ad7649b93729497bea71ce5f4e55","datavalue":{"value":"polarized partition relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747720$D19A97C9-FD8E-490C-9BC3-4CB2C703B1E7","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":"Q2747720$9423C7D7-B422-42B9-A77A-933D7202E965","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63a4648f949ffcd4dbf6239d1e75ece5b5d3dcda","datavalue":{"value":"https://doi.org/10.2307/2695046","type":"string"},"datatype":"url"},"type":"statement","id":"Q2747720$D7E6AB34-C67C-444E-9D48-BC48E7AFC6B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"feafc6eb51c534a8bcf97e71ea368423d6641dac","datavalue":{"value":"W2054458498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747720$DD51EA45-7575-4571-994C-A95D7108D2FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c6e835098d61b73afd9764ca95240a656df228","datavalue":{"value":{"entity-type":"item","numeric-id":1101447,"id":"Q1101447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747720$917E46F2-12EA-4425-9F2B-13DBB23D36DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"510082e9715656cbd3c38f4f42ecb21df9c6b80c","datavalue":{"value":{"entity-type":"item","numeric-id":3924196,"id":"Q3924196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747720$52BCCC82-9D81-4B80-92B5-4D0F49A77E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"402375ebd27362c3f87470a1a278696614cc1dda","datavalue":{"value":{"entity-type":"item","numeric-id":2553436,"id":"Q2553436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747720$F98BFBF2-D536-4541-842F-6670F86AE0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5bef25bf28ebce0c8dc4719615dc3b84fe63927","datavalue":{"value":{"entity-type":"item","numeric-id":3233344,"id":"Q3233344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747720$AA79ED8F-D2CB-4A6D-81B5-8EC44552133B","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":"Q2747720$79DAF231-C735-44F9-8C4C-46D067A12190","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bd39efe13c791240da83cb7d1c6eaa0986db5ba3","datavalue":{"value":"Let \\(\\kappa\\), \\(\\lambda\\), \\(\\mu\\), \\(\\nu\\) be infinite cardinals. Then the polarized partition relation \\(\\left(\\begin{smallmatrix} \\kappa\\\\ \\lambda\\end{smallmatrix}\\right)\\to \\left(\\begin{smallmatrix} \\mu\\\\ \\nu\\end{smallmatrix}\\right)_\\rho\\) means the following: For every \\(f:\\kappa\\times \\lambda\\to\\rho\\) there are \\(A\\subseteq\\kappa\\) and \\(B\\subseteq\\lambda\\) such that \\(|A|= \\mu\\) and \\(|B|=\\nu\\) and \\(f\\) is constant on \\(A\\times B\\). If here \\(\\rho\\) is replaced by \\(<\\rho\\) then the meaning is \\(\\left(\\begin{smallmatrix}\\kappa\\\\ \\lambda\\end{smallmatrix}\\right)\\to \\left(\\begin{smallmatrix} \\mu\\\\ \\nu\\end{smallmatrix}\\right)_\\tau\\) for all \\(\\tau< \\rho\\). \\(\\left(\\begin{smallmatrix}\\kappa\\\\ \\lambda\\end{smallmatrix}\\right)\\to \\left(\\begin{smallmatrix} \\mu_0 & \\nu_0\\\\ \\nu_0 &\\nu_1\\end{smallmatrix}\\right)\\) means: For any \\(f:\\kappa\\times \\lambda\\to 2\\) there are \\(A\\subseteq\\kappa\\) and \\(B\\subseteq\\lambda\\) such that for some \\(i< 2\\) we have \\(|A|= \\mu_i\\), \\(|B|= \\nu_i\\) and \\(f''A\\times B= \\{i\\}\\). Finally \\(\\left(\\begin{smallmatrix} \\kappa\\\\ \\lambda\\end{smallmatrix}\\right)\\to \\left(\\begin{smallmatrix} \\mu_0\\\\ \\nu_0\\end{smallmatrix} \\left(\\begin{smallmatrix}\\mu_1\\\\ \\nu_1\\end{smallmatrix}\\right)_\\rho\\right)\\) means: For any \\(f:\\kappa\\times \\lambda\\to 1+\\rho\\) there are \\(A\\subseteq\\kappa\\) and \\(B\\subseteq \\lambda\\) such that either \\(|A|= \\mu_0\\) and \\(|B|= \\nu_0\\) and \\(f''A\\times B= \\{0\\}\\) or else there is \\(i> 0\\) such that \\(|A|= \\mu_1\\), \\(|B|= \\nu_1\\), and \\(f''A\\times B= \\{i\\}\\).NEWLINENEWLINENEWLINEThe main result is now: NEWLINE\\[NEWLINE\\left(\\begin{matrix} (2^{<\\kappa})^{++}\\\\ (2^{<\\kappa})^+\\end{matrix}\\right)\\to \\left(\\begin{matrix} 2^{<\\kappa}\\\\ (2^{<\\kappa})^+\\end{matrix} \\left(\\begin{matrix} \\kappa\\\\ \\kappa\\end{matrix}\\right)_{< \\text{cf }\\kappa}\\right).NEWLINE\\]NEWLINE If \\(\\kappa\\) is regular this result is optimal.NEWLINENEWLINENEWLINEAnother main theorem states: If \\(\\kappa\\) is a weakly compact cardinal then \\(\\left(\\begin{smallmatrix} \\kappa^+\\\\ \\kappa\\end{smallmatrix}\\right)\\to \\left(\\begin{smallmatrix} \\kappa\\\\ \\kappa\\end{smallmatrix}\\right)_{< \\kappa}\\) and also \\(\\left(\\begin{smallmatrix} \\kappa^+\\\\ \\kappa\\end{smallmatrix}\\right)\\to \\left(\\begin{smallmatrix} \\kappa+1\\\\ \\kappa\\end{smallmatrix}\\right)_{<\\kappa}\\). This theorem generalizes former results of \\textit{G. V. Choodnovsky} [Infinite and finite sets, Colloq. Hon. P. Erd\u0151s, Keszthely 1973, Colloq. Math. Soc. J\u00e1nos Bolyai 10, 289-306 (1975; Zbl 0324.02066)], \\textit{K. Wolfsdorf} [Arch. Math. Logik Grundlagenforsch. 20, 161-171 (1980; Zbl 0471.03046)] and \\textit{A. Kanamori} [Logic colloquium '80, Eur. Summer Meet., Prague 1980, Stud. Logic Found. Math. 108, 153-172 (1982; Zbl 0495.03033)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747720$69B75452-CBE8-4D78-B46C-E2CEC0DF015B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c80e484e125b4b2e6f1eb4b1b0abd66d7cb4aba7","datavalue":{"value":{"entity-type":"item","numeric-id":587966,"id":"Q587966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747720$2E73D0E8-254D-4091-A8EF-A1A63B2B72B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f97dbddd7a55955dd345bd40d0e375f334d36f27","datavalue":{"value":{"entity-type":"item","numeric-id":5541367,"id":"Q5541367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd36fd80295e19b03f3392b3a6392b9b7b254be0","datavalue":{"value":{"amount":"+0.8662021160125732","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":"Q2747720$A9F16C84-9458-423E-B4C5-63E3E412397B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eac7c6c76355af7ed401ed4ade0106010124ee3","datavalue":{"value":{"entity-type":"item","numeric-id":5441186,"id":"Q5441186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d5745aa333a8d79a73771409d76995d9b793e66","datavalue":{"value":{"amount":"+0.8510158061981201","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":"Q2747720$213C846D-42E1-4AA8-B086-DE4E54B84CDB","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":"5a60f9774c9195b667299ec6363cae0af4456689","datavalue":{"value":{"amount":"+0.8374159932136536","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":"Q2747720$EE8C435A-BC6C-4D60-9A33-47832288AA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0455807dbe0f4ddfba5948e6b3bced5ad36bc092","datavalue":{"value":{"entity-type":"item","numeric-id":3617358,"id":"Q3617358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2473f03e49459dfb2429943ae680c21cecdd926b","datavalue":{"value":{"amount":"+0.8324735760688782","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":"Q2747720$D044D79F-9676-42E2-8E83-A991FEF63100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0796dbc5790b06ea245df2126e12f47a910337e5","datavalue":{"value":{"entity-type":"item","numeric-id":2710592,"id":"Q2710592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e90a0faded94daee2bf3ad22267c28b3634a631b","datavalue":{"value":{"amount":"+0.830947995185852","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":"Q2747720$B802B1A4-74DF-4F10-A2DB-AFF51B24E6F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2747720","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2747720"}}}}}