{"entities":{"Q1306309":{"pageid":1317059,"ns":120,"title":"Item:Q1306309","lastrevid":46849035,"modified":"2025-12-25T17:27:23Z","type":"item","id":"Q1306309","labels":{"en":{"language":"en","value":"Negative partition relations for ordinals \\(\\omega^{\\omega^\\alpha}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1346960"}},"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":"Q1306309$E8B41E4E-98E1-4674-A024-B7889C198657","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad57f534f08ab22889c187522bd5648e4a444f95","datavalue":{"value":{"text":"Negative partition relations for ordinals \\(\\omega^{\\omega^\\alpha}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1306309$28BDE3D8-DE23-4A5F-8F43-2395A41A9069","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4200d7d5911dd869a7c1e7e8c7f7547a8dd99792","datavalue":{"value":"0935.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306309$378EC06E-7AA6-460E-9FEE-ABF38F12B237","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7a1ddb6f0ccfb4d390cbbd87fce33e03fe02e6c","datavalue":{"value":{"entity-type":"item","numeric-id":1306308,"id":"Q1306308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306309$4417A321-095A-465C-9682-92D1257FA173","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f07f6fd6d97bd24ff86249abf8a501d3b63b437d","datavalue":{"value":{"entity-type":"item","numeric-id":256978,"id":"Q256978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306309$1E8C9D16-8819-4A33-9FB8-56D08C52FAFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ca1e772005d733ca22cf7d2096deaedd82034ff","datavalue":{"value":{"time":"+1999-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1306309$6101407B-5627-489E-8316-116D4FC1D9D3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0241a82d2596670f2d8ab56d37c220135cbd0e88","datavalue":{"value":"For an ordinal number \\(\\alpha\\) and a positive integer \\(n\\), the partition relation \\(\\alpha \\to (\\alpha,n)^2\\) means that whenever the unordered pairs from \\(\\alpha\\) are partitioned into two classes, either there is a subset \\(H\\) of \\(\\alpha\\) of order type \\(\\alpha\\) such that all the pairs from \\(H\\) lie in the first class, or there is an \\(n\\)-element subset of \\(\\alpha\\) all the pairs from which lie in the second class. The negation of this relation is written \\(\\alpha \\nrightarrow (\\alpha,n)^2\\).    For countable ordinals \\(\\alpha\\), the previously known results about this relation are: (1) \\(\\alpha \\to (\\alpha,n)^2\\) for all finite \\(n\\) if \\(\\alpha=\\omega\\), \\(\\omega^2\\) or \\({\\omega}^{\\omega}\\); and (2) \\(\\alpha \\nrightarrow (\\alpha,3)^2\\) if \\(\\alpha=\\omega^3\\) or if \\(\\alpha\\) is additively decomposable or of the form \\(\\omega^{\\beta}\\) where \\(3\\leq \\beta < \\omega_1\\) and \\(\\beta\\) is additively decomposable.    This paper is devoted to proving the first cases of \\(\\alpha \\nrightarrow (\\alpha,n)^2\\) for countable \\(\\alpha\\) and \\(n>3\\), (other than consequences of (2) above). The author proves that \\(\\omega^{{\\omega}^{\\alpha}} \\nrightarrow (\\omega^{{\\omega}^{\\alpha}},6)^2\\) if \\(\\alpha=\\alpha_0+\\alpha_1\\) where \\(\\alpha_0 \\geq \\alpha_1\\), and \\(\\omega^{{\\omega}^{\\alpha}} \\nrightarrow (\\omega^{{\\omega}^{\\alpha}},4)^2\\) if \\(\\alpha=\\alpha_0+\\alpha_1+\\alpha_2\\) where \\(\\alpha_0 \\geq \\alpha_1 \\geq \\alpha_2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306309$B02BCBCF-62D3-4708-B62A-688D8B101E0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef68bb45cd2d5821c75b5f0eeb710e1b0eda186e","datavalue":{"value":"03E02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306309$EC37CC8D-18CB-4911-9484-7D96BB1C5B25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e413ccf5547f4fbda2329eae2744ce098744f24","datavalue":{"value":"1346960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306309$D8208FEC-25C8-48EC-A495-2609CAD5D4C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dacbfa3767dee4daa8c72a31ae8641792ec07f05","datavalue":{"value":"negative partition relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306309$1BD3C551-5480-4193-B308-CEFBD2126F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f396ae002dc70e541a173d66a39b444377467ce","datavalue":{"value":"countable ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306309$08F412CE-4139-4961-B05B-A4A88E231BA2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e895f7d767724f4ff7f1c864b815a28e2d8e0b38","datavalue":{"value":{"entity-type":"item","numeric-id":916652,"id":"Q916652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306309$1EDBE11B-229F-423C-AB1A-3F4887C2BFD9","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":"Q1306309$5B88BD84-465F-495A-85B5-467736A77AD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2facafc097638cef2993a148cc129367a6a3864e","datavalue":{"value":"https://doi.org/10.1006/jctb.1999.1903","type":"string"},"datatype":"url"},"type":"statement","id":"Q1306309$34A4E90D-CB89-40BE-A760-DA04FD5C73AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcd6b18f5ee8220d1aa0582fb893be4ecffd6689","datavalue":{"value":"W2038917938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306309$6FE537CB-8906-4063-9A60-ACC8E5C18EFC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"190c63410e9d6ab289e8ead5b3945c512a60aeb1","datavalue":{"value":{"entity-type":"item","numeric-id":1210681,"id":"Q1210681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306309$A6F36F80-F9EC-47A1-8167-BBAB66E8C904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f354b8eec708ff059e8b857d312e027ab0efb65b","datavalue":{"value":{"entity-type":"item","numeric-id":2562081,"id":"Q2562081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306309$3AF5D604-2D5D-4E85-B865-E6D7B49B2EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96f0c72b761e5f90b0bdc3e42ada6a2871680ec3","datavalue":{"value":{"entity-type":"item","numeric-id":4099628,"id":"Q4099628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306309$A01DD0B7-5B33-442B-8C32-2A6CB8BD69B1","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":"Q1306309$0781733D-B5CD-46F7-A2F8-DD701901530E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc05e7fe24ec86ef16233bf0c5792273a4614ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4053665,"id":"Q4053665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306309$FC0BB89F-B28E-4D56-9F4A-C5A1145067C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61621a25c1d2828341801c1766512d672764dedb","datavalue":{"value":{"entity-type":"item","numeric-id":5183500,"id":"Q5183500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306309$C14BE2E5-DA52-4691-9BFF-72A25E5D97BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87d3056a8f9b3f18473fb091cc0f266e6c4b861","datavalue":{"value":{"entity-type":"item","numeric-id":3893934,"id":"Q3893934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306309$6C1C5A14-CAED-4F74-B37C-2084768864EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffe1da045a7bbdb406dcccc9155b5cffc83f9be7","datavalue":{"value":{"entity-type":"item","numeric-id":769270,"id":"Q769270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306309$D02617B5-C974-45F2-ACBC-965375854127","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d65ada857361c6cee70dc55895ea1635cb46b8a0","datavalue":{"value":"10.1006/JCTB.1999.1903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306309$D8631B6F-52C2-4A5A-9016-2D65DDB0F047","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"234d2cf7ccc747c82f0ad89275fc19c5a5b9326d","datavalue":{"value":{"entity-type":"item","numeric-id":2559470,"id":"Q2559470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f0ac955f56b50bc68ce77e043cea4c700e94db","datavalue":{"value":{"amount":"+0.8528662323951721","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":"Q1306309$04EA3C1A-B347-417F-B95E-3CD57CB7EFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5658940c7974bf229d396ab80a2ba71a89fc29f9","datavalue":{"value":{"entity-type":"item","numeric-id":4527907,"id":"Q4527907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa3210941375f9bfe78c9f778d21fa3ff9c4f8df","datavalue":{"value":{"amount":"+0.8377026915550232","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":"Q1306309$D27D2450-553D-490C-84FF-D2E5F8095C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e024ae4307ded00179af85caf25d1aaa3ddb5a","datavalue":{"value":{"entity-type":"item","numeric-id":636357,"id":"Q636357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35e0107dc6d1dc93b7ecb46419e68816c600d8af","datavalue":{"value":{"amount":"+0.8274409174919128","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":"Q1306309$20DA06C1-5F4F-4258-8CFC-77E388A82716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75df1f232f1783305ad0e5629ed2b9953ae7145e","datavalue":{"value":{"entity-type":"item","numeric-id":5749287,"id":"Q5749287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3a0b69bdec921ad1dfe5fdce305dcef5f97b74f","datavalue":{"value":{"amount":"+0.811933696269989","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":"Q1306309$962FA7E9-ECEC-4285-8C97-6E2B2BE4CFB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1306309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1306309"}}}}}