{"entities":{"Q424579":{"pageid":426346,"ns":120,"title":"Item:Q424579","lastrevid":61770309,"modified":"2026-04-11T01:32:43Z","type":"item","id":"Q424579","labels":{"en":{"language":"en","value":"A simple proof and some difficult examples for Hindman's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6040394"}},"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":"Q424579$7922271E-02AC-4279-BE84-496C880ECAA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57d6fe2f02ebca8468dd07fe7422b768018ed2f6","datavalue":{"value":{"text":"A simple proof and some difficult examples for Hindman's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q424579$6BED0207-38F4-427F-AC7E-A15D93C979FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8e6e6e4ab78461ca51d00534231aca9c215f582","datavalue":{"value":"1253.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424579$5F342004-EB19-40CB-BA8D-62C0D899F9D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1942a55d100cdb90843e3d03de452099a337f2ec","datavalue":{"value":"10.1215/00294527-1626518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424579$92318A5B-C269-42F6-8983-E8F6173EDEEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4aea1dd36182a052ff66ff5bfa454f46b990083b","datavalue":{"value":{"entity-type":"item","numeric-id":424578,"id":"Q424578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424579$7E1332E3-761F-41FA-951B-AEBDD01C0FDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424579$AD806106-6C86-4B6A-AFE6-15CF16ACB150","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q424579$E04BCA70-D63A-4BCA-894D-317137C9001A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fac86159f5fcc359349571e6587d4ea5e3eff41","datavalue":{"value":"https://arxiv.org/abs/0906.3885","type":"string"},"datatype":"url"},"type":"statement","id":"Q424579$1EC7A469-92F0-475E-9115-BAB1E4307323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"667942898db8a0fbb7e020fbb170d3546dd08ca3","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1336586237","type":"string"},"datatype":"url"},"type":"statement","id":"Q424579$22C7DEE7-CA10-4021-8A12-F3DAA821505D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"40f697ed02d52afe57993528759bcd5315c722f6","datavalue":{"value":{"entity-type":"item","numeric-id":365681,"id":"Q365681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424579$73222C36-1E38-4AA3-AEF1-15EC547430AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424579$53B9E772-01AD-4075-99F1-E45C6AD348A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424579$D0C49D50-FA6F-4205-9854-3FC30E761E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424579$6A3389AE-E226-428D-B829-C77213E6A220","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"976b2386492c17791c5cc877ae5a3bebf7526339","datavalue":{"value":"6040394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424579$CA5BB6F4-AB26-475A-B445-EF70014BAE44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcad3561c61d4f97ad27779fd167cc89a20b0358","datavalue":{"value":"Hindman's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q424579$165977BD-20BA-4B70-BFA0-62CB1DDFE015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q424579$12CC137F-0DC4-46FD-9081-40F192C5B255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f9e038ce90ce67b356cbe14c3c3f15dfb789be","datavalue":{"value":"Ramsey theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q424579$48428192-C74A-423E-A0F9-CE10F44BBB95","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":"Q424579$2DEDE67C-6A66-4B2F-B41C-1985A2028E0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4927cc4468561fe6a3fb9661b6d1a0da9376a69b","datavalue":{"value":"W2962863029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424579$3770AA38-6C2A-4FF7-8233-60D08984F454","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf2f43e08a7f0d903e03a251fc06145dcc12b90","datavalue":{"value":{"entity-type":"item","numeric-id":1846875,"id":"Q1846875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424579$713B69F7-42F1-409E-9328-18EEFE89F109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ba3ec1a052b9e89178dda950c60e38dfa0948","datavalue":{"value":{"entity-type":"item","numeric-id":3797180,"id":"Q3797180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424579$892FD29A-BEB2-4ED6-BCF4-6B84E126D25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14ae17601282df8b6c72874052615f19213005c","datavalue":{"value":{"entity-type":"item","numeric-id":4127028,"id":"Q4127028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424579$A349EDF1-ACF9-4C4D-8FCF-BA20BD30A421","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":"Q424579$4095F644-A259-48A0-83A5-46F17585FC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40cbeacd0e42787015f409701326bb8a26c22f6d","datavalue":{"value":{"entity-type":"item","numeric-id":3370068,"id":"Q3370068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424579$304BF828-C982-4C14-92B4-E99BD1C704E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693cd72b7d67705854cca4c0d84a2aa9f721ffe0","datavalue":{"value":{"entity-type":"item","numeric-id":1266503,"id":"Q1266503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424579$B3FD3E5D-59E0-474D-8389-1395FAE7C8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424579$80056373-6BF5-4167-825B-388BEAE3CA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1833dffb26af37c014afbf39f35fb844fa942d","datavalue":{"value":{"entity-type":"item","numeric-id":3083144,"id":"Q3083144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424579$AB0140DB-B870-41AC-9805-01C3E98057C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9297e48322c440a4043121ef0d2ee3d696b26a","datavalue":{"value":{"entity-type":"item","numeric-id":2970285,"id":"Q2970285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1a1b3fa96d1d29f84def2b5e13bb3cf376632e7","datavalue":{"value":{"amount":"+0.89021546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q424579$B62CF7DC-94C6-4616-BC66-5125E05B0327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a94d0ce2b42ed1692387c36321a72478b6794d8","datavalue":{"value":{"entity-type":"item","numeric-id":2420488,"id":"Q2420488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ab4262cba777fcdddfbf2ad7d2d3218f90a397","datavalue":{"value":{"amount":"+0.8862345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q424579$9B22EBFF-4F13-4982-8806-42FD052DCF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64b067d45c78559327dd6b3f9c1f346087aff0e3","datavalue":{"value":{"entity-type":"item","numeric-id":4469236,"id":"Q4469236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75933b98158aa4c3b6d8e9a32cdb1bed3597666e","datavalue":{"value":{"amount":"+0.8831264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q424579$0B3CA721-CB26-4054-92C6-C3349FFE87CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0aa732541bb145671f96f1186447c2b828b21a6","datavalue":{"value":{"entity-type":"item","numeric-id":5124654,"id":"Q5124654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c217bab8a260ca8838670af7cf35f0e71a87e2","datavalue":{"value":{"amount":"+0.8816501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q424579$8E5E4F22-420E-4E33-B76A-9A49E508822A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4addd63ea0d5aa103db914fe9239a98cd93ebf6","datavalue":{"value":{"entity-type":"item","numeric-id":2719922,"id":"Q2719922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7758da28e022b585fcc8522d1231a2f6a8e0705","datavalue":{"value":{"amount":"+0.8802091","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q424579$6E13F92F-FDAA-4E27-8E68-71E24AFC666E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8d6d3ebef48810b41bc5f45d2d3e9844d14d58","datavalue":{"value":{"entity-type":"item","numeric-id":3478267,"id":"Q3478267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0808a7e5e475f933245a3ba8ec0319f39a8fc1c","datavalue":{"value":{"amount":"+0.88020056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q424579$B391C6EC-D145-44A8-9074-67C283C7E739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7999c88406ca6f616e819edb153fe9682714db8","datavalue":{"value":{"entity-type":"item","numeric-id":3717223,"id":"Q3717223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ed24b9edafc376a14fd112c55bd410be2d6110d","datavalue":{"value":{"amount":"+0.8799401","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q424579$8DB81BDD-FFE8-47E0-BA82-43615A91B3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd482c05c8ac5a0ca91b6e7ebbd2463d3acd2052","datavalue":{"value":{"entity-type":"item","numeric-id":4886218,"id":"Q4886218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e8fca43cd10d080521c5977ba513afb4c8501aa","datavalue":{"value":{"amount":"+0.8774414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q424579$1B4D94EA-BFFC-4EFF-9588-BCC20A94D25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b42030a8de2686c23bd6f0ea771b869ea7a20f93","datavalue":{"value":{"entity-type":"item","numeric-id":3762671,"id":"Q3762671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8793ffe506e54a11642fa146c1fa7c6235f4523","datavalue":{"value":{"amount":"+0.8762468","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q424579$D0B1B394-7962-4AB1-947D-5F95B09FD491","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"501e18f78a887bd68cce8d6a18fda61478a293c7","datavalue":{"value":"The author gives a new, simplified proof of Hindman's theorem that formalizes in the system \\(\\mathsf{ACA}^+\\). This is slightly weaker than the best known upper bound \\(\\mathsf{ACA}^+_0\\) (note the subscript 0 which indicates that induction is restricted to \\(\\Sigma^0_1\\) formulas) on the strength of Hindman's theorem, see [\\textit{A. R. Blass}, \\textit{J. L. Hirst} and \\textit{S. G. Simpson}, ``Logical analysis of some theorems of combinatorics and topological dynamics'', Contemp. Math. 65, 125--156 (1987; Zbl 0652.03040)].NEWLINENEWLINEMoreover, the author introduces a technique to construct instances of Hindman's theorem which have computationally difficult solutions. He uses this technique to show that parts of his new proof are optimal. Also, he constructs an instance which has no \\(\\Sigma_2\\) solutions. This improves the best known lower bound which was \\(\\Delta_2\\).NEWLINENEWLINEThis research is connected to the long-standing open problem to determine the precise strength, in the sense of reverse mathematics, of Hindman's theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q424579$40CEE55D-75D0-40F3-A447-72901ED008AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple proof and some difficult examples for Hindman's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simple_proof_and_some_difficult_examples_for_Hindman%27s_theorem"}}}}}