{"entities":{"Q1808856":{"pageid":1819598,"ns":120,"title":"Item:Q1808856","lastrevid":69012450,"modified":"2026-04-13T03:43:28Z","type":"item","id":"Q1808856","labels":{"en":{"language":"en","value":"Set-polynomials and polynomial extension of the Hales-Jewett theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1369927"}},"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":"Q1808856$08C79E0E-E581-43FE-BFBA-21F98897C17A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a12bc32df925e7af9c55d39f63378d86bf676455","datavalue":{"value":{"text":"Set-polynomials and polynomial extension of the Hales-Jewett theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1808856$D1A78FF8-A324-4822-AF33-819D936E89DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1508064f366f78ebafb042110053c659641507be","datavalue":{"value":"0969.05061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808856$F1D284B4-B5D4-413A-9A68-3B09D2A6E7AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7be62670bfbca9ec5855384130fe6880840c88b","datavalue":{"value":"10.2307/121097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808856$7F76E909-5FBF-4969-92AD-FD3767210258","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808856$E67D63D3-5ECD-46B4-9EEB-32609F40DDC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e1081f2c181713e358c5c3427f8dc3ab65306c7","datavalue":{"value":{"time":"+2000-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1808856$D4B98E0B-F421-4EF4-ADC4-64558D5E4234","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7e742b4cf7b0b7355a6ef38d47db440edd8b437","datavalue":{"value":"https://arxiv.org/abs/math/9907201","type":"string"},"datatype":"url"},"type":"statement","id":"Q1808856$B80D6645-D0A3-4FC1-BDDE-BBEA2869132B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cfaa0a5ebdd2b86e5d21f8c6efdd02c26a7edb2","datavalue":{"value":"https://eudml.org/doc/121228","type":"string"},"datatype":"url"},"type":"statement","id":"Q1808856$1E5A15E3-28AA-440C-842A-0C4E3FE17A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e9abc7a86fe8e641d813d090efdc6fa0ba71eba","datavalue":{"value":"http://www.math.princeton.edu/~annals/issues/1999/150_1.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1808856$195CCA61-3918-4126-A9ED-0E2076C34EC4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"73ff7c63549b008608d22b52e403eac569182515","datavalue":{"value":"In this paper a generalization of the polynomial Hales-Jewett (PHJ) type extension of the polynomial van der Waerden theorem is proved. Its simplest variant says: If \\(r,d,q\\in{\\mathbb{N}}\\), then there exits \\(N(r,d,q)\\in{\\mathbb{N}}\\) such that, for any \\(r\\)-coloring of the set of subsets of \\(V=\\{1,\\dots,N\\}^d\\times \\{1,\\dots,q\\}\\), there exist a set \\(a\\subset V\\), and a non-empty set \\(\\gamma\\subseteq \\{1,\\dots,N\\}\\), such that \\(a\\cap(\\gamma^d\\times \\{1,\\dots,q\\})=\\emptyset\\), and the sets \\(a\\), \\(a\\cup(\\gamma^d\\times \\{1\\})\\), \\(a\\cup(\\gamma^d\\times \\{2\\})\\), \\dots, \\(a\\cup(\\gamma^d\\times \\{q\\})\\) are all of the same color.    The paper is divided into 9 main sections. The introduction (labeled as Section 0) is devoted to a discussion of the connections of the proved generalization of the previous related results and prepares the sole for developing the used set-polynomial machinery and the methods of topological dynamics. Here the set-polynomials are defined via the operations of union (i.e. addition) and Cartesian multiplication of finite sets. Thus set-polynomials are polynomials like expressions having finite sets as coefficients, e.g. as monomials \\(\\gamma^d\\times \\{\\ell\\}\\) of degree \\(d\\). The dynamics is brought into play through an action \\(\\mathcal{F}(W)\\), where \\(W\\) is a given set, on a topological set \\(X\\) which is a mapping \\(T\\) from \\(\\mathcal{F}(W)\\) into the set of continuous self-mappings of \\(X\\), \\(a\\to T^a\\), satisfying that for any \\(a,b\\in\\mathcal{F}(W)\\) with \\(a\\cap b=\\emptyset\\) one has \\(T^{a\\cup b}=T^aT^b\\). PHJ can now be stated thus: Given \\(r,d,q\\in{\\mathbb{N}}\\), there exits \\(N(r,d,q)\\in{\\mathbb{N}}\\) such that, for \\(V=\\{1,\\dots,N\\}^d\\times \\{1,\\dots,q\\}\\) and for any \\(r\\)-coloring of \\(\\mathcal{F}(V)\\), there exist \\(a\\subset V\\) and a non-empty set \\(\\gamma\\subseteq \\{1,\\dots,N\\}\\) such that \\(a\\cap(\\gamma^d\\times \\{1,\\dots,q\\})=\\emptyset\\), and the sets \\(a\\), \\(a\\cup(\\gamma^d\\times \\{1\\})\\), \\(a\\cup(\\gamma^d\\times \\{2\\})\\), \\dots, \\(a\\cup(\\gamma^d\\times \\{q\\})\\) are all of the same color.    Section 1 demonstrates the method of proof of PHJ on the background of two special cases, the `linear' (i.e. \\(d=1\\)) variant of the Hales-Jewett theorem and the simplest non-trivial non-linear case of a topological variant of PHJ. In Section 2 basics of set-polynomials and their formalism are developed. In Section 3 the formalism of the previous section is further developed and used to reformulate the main result in the set-polynomial language: If \\(A\\) is a system consisting of set-polynomials with empty constant term, then \\(A\\) is a system of (chromatic) recurrence. This result is then proved in Section 6, while Sections 4 and 5 contain some necessary technical supporting results. Section 7 is devoted to some combinatorial results derived from PHJ, and corollaries pertaining to topological recurrence. The last section is devoted to the abstract polynomiality and brings some group-theoretical corollaries of PHJ.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808856$FB60540C-55E5-4D81-A1E8-978E0DE27874","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808856$C7233AB2-AC79-4088-A7BA-1C6C43C9F278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8de4726dadd4d804f8da0a9b26e1822a2c0c7b53","datavalue":{"value":"05E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808856$CE7E1BCD-F95F-4CEF-808B-DA9B407F9610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"59ff1173f55ceccb7042119df1cda673726c7815","datavalue":{"value":"11B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808856$E122C905-AFEC-470B-B710-DDB751AA997D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"180ae4e47b05e8469b7d9bd450c0e7414ac7bc28","datavalue":{"value":"37B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808856$C3C83909-53D0-4E92-8918-595D152332A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7138a5cc3285bc79034d6c36a838ebfee311db18","datavalue":{"value":"54H20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808856$30025C78-208A-44FF-988A-6253CA89F7E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7c702eba169302b103ebeea40219d42d53c0a30","datavalue":{"value":"1369927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808856$4DD87052-2D86-4A4B-A0DB-90A18DA91B10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50b17dc6a499f6e6dc5a381c85dee387ae2b5ef","datavalue":{"value":"van der Waerden theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808856$40B223AD-448C-4184-8220-6D17DE0164C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93f1c96d238c39e151df8267d78999fcffeeff3a","datavalue":{"value":"geometric Ramsey theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808856$3A573529-4BAF-4C9C-BCE9-067D5C068697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"236559e9b4109c76e5f8be260ca5db8a92574774","datavalue":{"value":"set-polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808856$31EDEA07-E54B-4B53-AAF8-DCBBA4062780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edb41c6196cbbb5c8e3861e9de33d3aacd50fffa","datavalue":{"value":"topological dynamics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1808856$D9F84E3C-BF9B-42AF-AB75-C6C6D91CCA2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1973c8f323147c3ce2afcb1041ac22b4101c42d","datavalue":{"value":{"entity-type":"item","numeric-id":171731,"id":"Q171731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808856$08C44480-329E-44BA-BA5A-4465BBC088C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3e6612bf4a59cf51d434d6c0debd1431d4976a7","datavalue":{"value":{"entity-type":"item","numeric-id":627732,"id":"Q627732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808856$91D1D924-88A0-4FBE-A25C-780A71D72C9E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ac599b3b4b403e13ff34b53d17b49cf088c1290e","datavalue":{"value":{"entity-type":"item","numeric-id":587322,"id":"Q587322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1808856$6DE9553E-B6F3-421F-80F5-A195F31E7405","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":"Q1808856$6D58385D-A205-481D-8A1F-94182D36DE50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c8a6482c18374dc5074be580b0a5175fd89b517","datavalue":{"value":"W2067546659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1808856$4E97D4F7-BE25-46A1-8018-ADFCA3C0C032","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1df332b55d9dcdc1513af899cb4c35b59fbca72","datavalue":{"value":{"entity-type":"item","numeric-id":4487516,"id":"Q4487516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ff66edf8131f458b5a033d8bc9619d89151ce9","datavalue":{"value":{"amount":"+0.8356770277023315","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":"Q1808856$ACC1E0E6-E33A-480B-A670-E06E787B4223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494f115ee86f98ae5c2f17f5e0e16e4f14530e68","datavalue":{"value":{"entity-type":"item","numeric-id":1583620,"id":"Q1583620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c46527abc909e54e7c382c2243791ab3f022da4","datavalue":{"value":{"amount":"+0.8080783486366272","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":"Q1808856$832F373B-4231-480E-A54D-76C268DA95A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcc05e25ed2b87c8fe6cd8a453a01d6c533d12d6","datavalue":{"value":{"entity-type":"item","numeric-id":5443807,"id":"Q5443807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de8182a394a8b6aae55f4d72703900dc395ef70","datavalue":{"value":{"amount":"+0.7958114743232727","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":"Q1808856$74C44064-0D7A-4D21-9E9B-BAB245CDB076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f0f3652cba4b8eb019bac90a866090a6a0358e6","datavalue":{"value":{"entity-type":"item","numeric-id":5937675,"id":"Q5937675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53756f1e2abc1d5b9ea0fd2028d2aa5965516167","datavalue":{"value":{"amount":"+0.7856194376945496","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":"Q1808856$4EB02B8F-CE9B-4E34-B395-489B4C299DE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Set-polynomials and polynomial extension of the Hales-Jewett theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Set-polynomials_and_polynomial_extension_of_the_Hales-Jewett_theorem"}}}}}