{"entities":{"Q1240242":{"pageid":1250992,"ns":120,"title":"Item:Q1240242","lastrevid":67250538,"modified":"2026-04-12T16:22:17Z","type":"item","id":"Q1240242","labels":{"en":{"language":"en","value":"Partition theorems for subsets of vector spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3564987"}},"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":"Q1240242$E9E1227C-1B9B-4588-88E3-72C0C3521DFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0c2e1a3cbf874040d2419110d6bd9592bf961f9","datavalue":{"value":{"text":"Partition theorems for subsets of vector spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1240242$1A44114A-EDD2-4E4D-B9EF-945107A91107","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"377c3732b299a58d88bfb16609bb30df82805afe","datavalue":{"value":"0363.04009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240242$E5600EBC-592F-4A4C-A153-3D1ABF6C06A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5819c0890dc6cf9b029c06292ded7478dad0f6cd","datavalue":{"value":"10.1016/0097-3165(76)90022-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240242$7585ABE3-C61F-4212-AFC1-131B79ED9DC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e47d94cb50e8bff7e07db91cf2e29b89383adf9","datavalue":{"value":{"entity-type":"item","numeric-id":1223001,"id":"Q1223001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1240242$0CC20480-A52E-4966-9A4E-7C34E369C33C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c03f12d2ae232c6413ffedcffaa255461d32f1a","datavalue":{"value":{"entity-type":"item","numeric-id":171729,"id":"Q171729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1240242$DE7DA250-4EE8-445D-B979-1763EFFE9464","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1240242$D946DEAE-EC44-4DC9-94FC-4BAF1C433237","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ee960a1c142714f695cc89e2d6a0034558d71c41","datavalue":{"value":"Partition theorems are considered also in vector spaces (cf. the papers of \\textit{P.Erd\u0151s} and \\textit{R.Rado} in Bull. Am. Math. Soc. 62, 427-489 (1956; Zbl 0071.05101) and of \\textit{P.Erd\u0151s, A. Hajnal} and \\textit{R.Rado} in Acta Math. Acad. Sci. Hung. 16, 93-196 (1965; Zbl 0158.26603)).    In particular, for any given quadruple \\((\\alpha,\\beta,\\gamma,\\delta)\\) of cardinals let \\(\\langle\\alpha\\rangle\\to\\langle\\beta\\rangle_{\\gamma}^{\\delta}\\) mean the following: Whenever \\(V\\) is an \\(\\alpha\\)-dimensional vector space over \\(GF(2)\\) and \\(V=\\bigcup_{\\sigma< \\gamma}A_{\\sigma}\\) there are some \\(U\\in[V]^{\\beta}\\) and some \\(\\sigma<\\gamma\\) such that if \\(1\\leq t< \\delta\\) and \\(W\\in[U]\\) then \\(\\Sigma W=A_{\\sigma}\\). In section 2 the authors prove 19 lemmas; e.g. L.r:3(a): If \\(\\beta\\), \\(\\gamma\\), \\(\\delta < \\omega\\), then there exists the least integer \\(N(\\beta, \\gamma, \\delta)\\) such that \\(\\langle N(\\beta,\\gamma,\\delta)\\rangle\\to\\langle\\omega\\rangle_{\\gamma}^{\\omega}\\). L.r: 9: If \\(\\beta\\) is a regular cardinal > \\(\\omega\\) and \\(\\langle\\beta\\rangle\\to \\langle\\beta\\rangle\\_{\\gamma}^3\\) then \\(\\beta\\to(\\beta)_{\\gamma}^2\\); L.2:10: GCH implies that every infinite nonlimit cardinal \\(\\beta\\) satisfies \\(\\langle\\beta\\rangle\\nrightarrow\\langle\\beta\\rangle_2^3\\).    The main result (Th. 3:1): Assume the GCH and that there is no inaccessible cardinal \\(> \\omega\\). Exclude the possibility that any of the conditions: (a), (b) or (c) holds:  \\[ \\begin{alignedat}{3} &(a)&\\qquad& \\delta< \\omega, \\beta< \\omega, \\gamma=\\aleph_{\\rho}&\\qquad& \\text{ and }\\quad\\aleph_{\\rho+\\delta-1}\\leq\\alpha< \\aleph_{\\rho+2}^{\\beta- 1};\\\\&(b)&\\qquad& \\delta=4, \\gamma< \\omega, \\beta=\\aleph_{\\rho}> \\text{cf}(\\beta)=\\omega&\\qquad& \\text{ and }\\quad\\alpha< \\aleph_{\\rho+t(\\gamma)}, t(\\gamma) :=2\\sum_{i=0}^{\\gamma}\\frac{r!}{i!}-1;\\\\ &(c)&\\qquad& \\delta=4, \\gamma< \\omega, \\text{cf}(\\beta)> \\omega, \\beta=\\aleph_{\\rho}&\\qquad& \\text{ and }\\quad\\aleph{\\rho}< \\alpha< \\aleph_{\\rho+t(\\gamma)}.\\end{alignedat} \\]  Then \\(\\langle\\alpha\\rangle\\to \\langle\\beta\\rangle_{\\gamma}^{\\delta}\\) holds if and only if one of the following 10 statements holds:    (1) \\(\\gamma=1\\); (2) \\(\\delta=2\\) and \\(\\beta=1\\);    (3) \\(\\delta=2\\), \\(\\alpha\\geq\\omega\\), \\(\\gamma< \\alpha\\), and \\(\\beta< \\alpha\\);    (4) \\(\\delta=2\\), \\(\\alpha\\geq\\omega\\), \\(\\gamma< \\text{cf}(\\alpha)\\), and \\(\\beta=\\alpha\\);    (5) \\(\\delta=3\\), \\(\\beta< \\alpha\\), \\(\\alpha> \\omega\\) , and \\(\\gamma^+< \\alpha\\) ;    (6) \\(\\delta=3\\), \\(\\beta=\\alpha> \\omega\\), \\(\\text{cf}(\\alpha)=\\omega\\), and \\(\\gamma< \\omega\\);    (7) \\(\\delta=4\\), \\(\\gamma< \\omega\\), \\(\\beta=\\aleph_{\\rho}\\), and \\(\\alpha\\geq\\aleph_{\\rho +t(\\gamma )}\\);    (8) \\(\\beta < \\omega\\), \\(\\gamma< \\omega\\), \\(\\alpha\\geq N(\\beta,\\gamma,\\delta)\\);    (9) \\(\\beta < \\omega\\), \\(\\gamma=\\aleph_{\\rho}\\), and \\(\\alpha\\geq \\aleph_{{\\rho+2}^{\\beta-1}}\\);    (10) \\(\\beta=\\omega\\) and \\(\\gamma<\\omega\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1240242$89A43D11-A590-48C2-BA30-C564D0192ACE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240242$DD9021EC-A6CD-4C8A-8AF8-ABD0AB2791EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3e0fa3b337909b93bf511cc7f48cab6b8cc32c2","datavalue":{"value":"3564987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240242$24FB081B-2E46-4B88-A246-D941C92FD3F1","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":"Q1240242$AAD5CFFC-4601-452A-A77C-A5EAC9A07C72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e3201af91b18d278ec44356704f0e26b0d1c0aa","datavalue":{"value":"https://doi.org/10.1016/0097-3165(76)90022-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1240242$D1B1EB61-3C5A-40A9-A1CC-6E4F534CB4DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02f51f22a2d4d6183f0098741c6e8ba56f172cd7","datavalue":{"value":"W4213355214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240242$6876FD86-5808-4E06-A656-EFD00B0F0CAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c776f6d8605931e1e75b807939067d2e10b4292","datavalue":{"value":{"entity-type":"item","numeric-id":1217131,"id":"Q1217131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1240242$E56B58CD-546E-4194-9094-B418B77F97B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7993358cb712a93851b0bd102eb877f5714a26","datavalue":{"value":{"entity-type":"item","numeric-id":5541367,"id":"Q5541367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1240242$97D6D3A3-AAC5-4D43-B345-22E35470E816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548f9fadb7678f64224dc86811ef9f7010dffbf0","datavalue":{"value":{"entity-type":"item","numeric-id":2554406,"id":"Q2554406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1240242$6D83A679-0E11-4F68-AA8F-C68E13B9A530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e28ceed3df4fb175cb6b8295d11fd95564a9a8","datavalue":{"value":{"entity-type":"item","numeric-id":1844840,"id":"Q1844840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1240242$A0CC40C5-0787-4898-B78C-EEE454310F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8495fef19b5d527c2ae3f249603426288c07b179","datavalue":{"value":{"entity-type":"item","numeric-id":5559238,"id":"Q5559238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1240242$918FCB8D-08C9-4449-97E1-941E150B8FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae3f853a816c990699349ba249f035d7e17ab4ec","datavalue":{"value":{"entity-type":"item","numeric-id":2515174,"id":"Q2515174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1240242$D763179C-733B-43BF-83E3-66E46EE3700D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b5399dbbc7b90a9ba867f401d536aedd29e3a573","datavalue":{"value":"Q105675502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240242$2E2FB354-C992-407B-8A04-F3A7CD5252FC","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":"8283d925c67de9ddc676e73a4c632f54de2d0a8e","datavalue":{"value":{"amount":"+0.8064038157463074","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":"Q1240242$63DFCB1E-E784-4967-9DB9-AE5A96FFF29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4cff458f447a5552a733bad443723ab7897f39f","datavalue":{"value":{"entity-type":"item","numeric-id":4650276,"id":"Q4650276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27edc2c5a3f15382092c7ae8951138096d203d69","datavalue":{"value":{"amount":"+0.8048487305641174","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":"Q1240242$4FC7C977-84A5-4B81-8FB3-5FA8C7594EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849e25b8ad976045400ba6ebe2d47875170c037d","datavalue":{"value":{"entity-type":"item","numeric-id":3201053,"id":"Q3201053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef7bc0eb632c002bc558af6275a64fb88d88884e","datavalue":{"value":{"amount":"+0.7840040326118469","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":"Q1240242$780EF26C-A767-43C1-A31C-5AF0909137B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dbf5ca8dd539a5965fe8aa8f4706218414482c0","datavalue":{"value":{"entity-type":"item","numeric-id":3233344,"id":"Q3233344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851bfa28370eb8793d178026a07c8c44d50b9842","datavalue":{"value":{"amount":"+0.7777480483055115","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":"Q1240242$70A26BEC-7FF2-46CB-A3D0-A5DFC81E776C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6189c3129316d4e1654ab4188a8f42a28edad39f","datavalue":{"value":{"entity-type":"item","numeric-id":4312351,"id":"Q4312351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84c4cf0789083242eac0f63b362b0bbf22d0059f","datavalue":{"value":{"amount":"+0.7735289335250854","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":"Q1240242$7F14AE5B-9E20-42BD-84D4-5D60A27D477E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partition theorems for subsets of vector spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partition_theorems_for_subsets_of_vector_spaces"}}}}}