{"entities":{"Q661295":{"pageid":663144,"ns":120,"title":"Item:Q661295","lastrevid":77711894,"modified":"2026-05-06T09:54:04Z","type":"item","id":"Q661295","labels":{"en":{"language":"en","value":"Hilbert versus Hindman"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6005023"}},"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":"Q661295$29E643A0-5465-4A9A-9FEC-0D3B30D66E16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1eafa60d10661c668d882ef09bb70ea1dafca41c","datavalue":{"value":{"text":"Hilbert versus Hindman","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q661295$96541155-D412-422E-9AB1-A5599C2209CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f94c436b5ecf8141748dd10ca9dc5aa860a4eb75","datavalue":{"value":"1239.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661295$2113D939-50DD-4326-B9C9-1CDAF24ED30E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5122a321cfb515186c4448a4fbfba8604b1bf26","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661295$EF44118F-0A6D-482A-8585-506D580080BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661295$E29FC734-5608-418D-A493-5C6EF0F0F48B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c52ba3eabb1b5dda8b2f889cd58a7e4939f1d164","datavalue":{"value":{"time":"+2012-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q661295$8DAD9E57-2397-4D05-AF2F-CA55BF8CEFB2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0f6d1fcb5397cd135bde544e1fd9f25d2721b7d1","datavalue":{"value":"It is well known that Hindman's theorem can (equivalently) be formulated in the following finite union form:  Let \\(f: \\mathbb{N^{<N}} \\to k\\) be a finite coloring of the finite subsets of \\(\\mathbb{N}\\). Then there exists an infinite sequence of finite subsets \\((X_i)_{i\\in\\mathbb{N}}\\) such that the sets \\(X_i\\) are unmeshed, i.e., for all \\(i,j\\) either \\(\\max(X_i) < \\min(X_{j})\\) or \\(\\max(X_j) < \\min(X_i)\\), and that there is a \\(c\\) such that for all finite sets \\(F\\) we have \\(f(\\bigcup_{i\\in F} X_i) = c\\).  In this paper the author considers the variant of this theorem where `unmeshed' is relaxed to `distinct'. He shows that this variant is equivalent to the infinite pigeonhole principle and thus to the \\(\\Pi^0_1\\)-bounded collection principle (\\(\\mathrm{B}\\Pi^0_1\\)). This shows that this variant of Hindman's theorem is finitistic in the sense of Hilbert, while Hindman's theorem is not.","type":"string"},"datatype":"string"},"type":"statement","id":"Q661295$81655F61-16F8-4B13-9C2A-B76F28380B25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661295$7D289A0E-570A-4298-888D-3197A6EBDD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661295$65F47242-C191-4A84-966D-61443B1AD793","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6ad65f6b4d069cebce9f492dab752fa602b9727","datavalue":{"value":"6005023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661295$B653660F-6498-41C7-92EF-6C2DDDFEA602","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q661295$DECE5210-38AD-45D4-BEA7-A51626957777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q661295$FA6466F4-0281-4E4E-A89B-6D7265EC3ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39ece27df4663c7fd54c61ee7602b62b0604cc6a","datavalue":{"value":"conservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q661295$4F3DD201-EA37-40F3-ACF8-5F869CFAE928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c3f7f03101279581576b5f35445bcaf375ba8bb","datavalue":{"value":"finitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q661295$377035BC-A6A7-47B3-91D4-10714B7CF32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac29fe212ac0c4f3218093771cefb4e2fa0aea78","datavalue":{"value":"Hilbert's program","type":"string"},"datatype":"string"},"type":"statement","id":"Q661295$A45368F4-FF0F-4748-BC78-F742CEE2453C","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":"Q661295$49B752E0-6563-4838-98ED-DC877CB061F6","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":"Q661295$B285DAB8-03DD-4FDF-9D5D-2B5A00BE2ABF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d76c444c02ce701402d69fc786c712b5720c93e9","datavalue":{"value":"https://doi.org/10.1007/s00153-011-0257-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q661295$CE016573-B52C-49C0-BC07-C424D1961228","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f113139775131af6916c2e6037dfe44bbf89c878","datavalue":{"value":"W2015534989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661295$5DBD0E3C-8FEA-4CA1-90D6-5D0FC89D8E32","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82318748b8514096d13bc80763ff6e3cbefb3d9","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661295$26A6C961-F036-4057-9203-E86ADCDAA0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"134f2ad3455f970d41791f7dee3c85343a081049","datavalue":{"value":{"entity-type":"item","numeric-id":3799998,"id":"Q3799998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661295$ACA4B91E-2661-41C6-97E9-47C83A6F6885","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":"Q661295$3A9A3690-D8F9-40C9-B0B6-C39C4FF417A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c86fd8a4c51779855cf1cee2199b3385349e27c3","datavalue":{"value":"10.1007/S00153-011-0257-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661295$78FE103D-0225-4CD4-802C-2E51AD4F7C3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b72c2aa9814369f27d5723797b763747e51433d","datavalue":{"value":{"entity-type":"item","numeric-id":4604261,"id":"Q4604261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db7dd6f37ab856f91ca7db6bb3ae9f21b80c7c5f","datavalue":{"value":{"amount":"+0.8782908","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":"Q661295$DC8445DB-6E94-4245-B41B-89C121DF8D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9534531d55f250daf5a3a0f5cec2f807f61c8938","datavalue":{"value":{"entity-type":"item","numeric-id":5596181,"id":"Q5596181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7628598c921ef19c714d015be58bf659295cc42c","datavalue":{"value":{"amount":"+0.86225057","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":"Q661295$5E452CC9-F2E2-4887-8C69-299099E6AD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a478e45c908957e570a0db86ac5f3ebef79af4","datavalue":{"value":{"entity-type":"item","numeric-id":5694561,"id":"Q5694561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e7ddcfb9855ccdecfa93a49f9acbec91e465d10","datavalue":{"value":{"amount":"+0.8505265","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":"Q661295$BEDCE429-2D8F-4DC7-B9BA-73FC807C8185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae96ea3a0808901c8cff82877d0f66f465faf30f","datavalue":{"value":{"entity-type":"item","numeric-id":3635860,"id":"Q3635860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f32442a9ee9a4aab6f2a831eda3094a830e8823c","datavalue":{"value":{"amount":"+0.8448087","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":"Q661295$384D11FE-37A9-4A0F-A285-9D686D0FB939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d7620a3aca68123dd26c59623f04ba7651d7fb","datavalue":{"value":{"entity-type":"item","numeric-id":5171448,"id":"Q5171448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f028f9a8e92a16777386edd1f70fed39440d7702","datavalue":{"value":{"amount":"+0.84407604","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":"Q661295$E4536175-3A90-4A6F-B80D-6664CDC07C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"775173f0fce954fb63bcfb82789a6747250298f3","datavalue":{"value":{"entity-type":"item","numeric-id":3120446,"id":"Q3120446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39e5f25553a64a19d76b5c3bb441b33b402d85d8","datavalue":{"value":{"amount":"+0.8432127","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":"Q661295$E1595FEE-DD57-40A8-B088-A78F76E6ED1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d99e837422595f9dac5437a392366f0c79dcfc0","datavalue":{"value":{"entity-type":"item","numeric-id":1344187,"id":"Q1344187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f64457e288bb8057c55f192ae44e4408870d22a5","datavalue":{"value":{"amount":"+0.8415609","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":"Q661295$C90B3919-C467-42AB-8FA8-4E27FE6BF90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dbf2e6984e5d922f5d36123ea8d39fed1b79557","datavalue":{"value":{"entity-type":"item","numeric-id":4469325,"id":"Q4469325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c748ea5a05f6a86ee7dc1620f68c269b8d61907e","datavalue":{"value":{"amount":"+0.8402785","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":"Q661295$4D60ABB8-2510-47DD-9913-F93F9B6E18AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89e396d7348ee5d2112f5af47121a1084061c933","datavalue":{"value":{"entity-type":"item","numeric-id":5698870,"id":"Q5698870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e19bdead0fa8f42b99bc1e5673265e753541e6b","datavalue":{"value":{"amount":"+0.84021306","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":"Q661295$7F69BF35-0700-493F-8F4F-E9F1684C12B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hilbert versus Hindman","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hilbert_versus_Hindman"}}}}}