{"entities":{"Q2257109":{"pageid":2267852,"ns":120,"title":"Item:Q2257109","lastrevid":78370346,"modified":"2026-05-06T11:25:57Z","type":"item","id":"Q2257109","labels":{"en":{"language":"en","value":"A forcing notion related to Hindman's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6407262"}},"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":"Q2257109$DDD1E89D-0274-426D-8992-4F1C57079E2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd3922a504203b0875c46812648ab57b3fdbca25","datavalue":{"value":{"text":"A forcing notion related to Hindman's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2257109$2CC04E00-F92F-457E-852A-2A8EA0CFDE16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d33801997aa0a90bfc48db921f86cc067778261f","datavalue":{"value":"1346.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257109$F4568822-0C40-49FD-8AA8-8AE478195AEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15b957d9d2ac84fdd4737f85a6cee5355fb63c50","datavalue":{"value":{"entity-type":"item","numeric-id":2257108,"id":"Q2257108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257109$64854640-4EFC-43F3-A30B-55F925DB62A0","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":"Q2257109$948E55AA-EFD6-4010-A0D3-1717736ED27B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"327ec1e4b48ef8cb2eab85e47071bab036811132","datavalue":{"value":{"time":"+2015-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2257109$D0C68358-7C46-44BE-B1AF-2204701849D9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8eb1979c74a512cbbaa2a689617070ab54f1f637","datavalue":{"value":"\\textit{N. Hindman}'s finite sum theorem [J. Comb. Theory, Ser. A 17, 1--11 (1974; Zbl 0285.05012)] states that, given a coloring of the natural numbers \\(\\mathbb N\\) into finitely many colours, there is an infinite set \\(A\\subseteq \\mathbb N\\) such that all sums of finitely many elements of \\(A\\) (no repetition allowed) have the same color.  Ever since \\textit{A. R. D. Mathias}' analysis of selective co-ideals a.k.a. happy families [Ann. Math. Logic 12, 59--111 (1977; Zbl 0369.02041)], a connection between Ramsey-type statements and combinatorics of related forcing notions has been studied (see [\\textit{S. Todorcevic}, Introduction to Ramsey space. Princeton, NJ: Princeton University Press (2010; Zbl 1205.05001)] for an excellent general treatment of the subject).  The paper under review contributes to this line of research by introducing and studying a natural partial order, denoted by \\(\\mathbb P_{\\mathrm{FIN}}\\), corresponding to Hindman's theorem much in the same way as Mathias forcing relates to the infinite version of the Ramsey theorem. The main results of the paper show that this partial order is indeed new in that it is not forcing equivalent to the similar, previously introduced, partial orders due to Mathias [loc. cit.] and \\textit{P. Matet} [J. Symb. Log. 53, No. 2, 540--553 (1988; Zbl 0655.04003)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2257109$E6753990-FEF5-4331-8025-487309735C14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257109$D4C8C975-83D1-42D2-94E4-526AB96E9086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257109$8FD4EFFB-AD5A-41BF-9469-D7694E583A40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0debe78080f1243f21c6e2ba84f93a8cb41264ee","datavalue":{"value":"6407262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257109$E5900005-C495-45DE-A143-C11602DAE861","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2257109$FEE59BF8-938F-4051-A685-7BDCDD10CC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dd15bda065c5695ecebd1e24a1b8e9c09d91954","datavalue":{"value":"Mathias forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2257109$1BF046B2-2C21-4B76-A96F-7E2B4C34D120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"974c9fef533d802fa8d3803d21cdd3c5dde2ace8","datavalue":{"value":"Matet forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2257109$78451411-3354-4C87-BD10-A58A9D8902BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcad3561c61d4f97ad27779fd167cc89a20b0358","datavalue":{"value":"Hindman's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2257109$8EB4F03D-F2A8-4CF4-877C-2385609394A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2257109$C9304DBF-99C5-435F-8CCA-7CEAEC341A32","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0b607ce08863d5e75439f9c526d0ce473f2e1a76","datavalue":{"value":{"entity-type":"item","numeric-id":251392,"id":"Q251392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257109$DDF9425B-5CED-4DB3-9541-D5000C30F720","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":"Q2257109$D5081E1B-CA7A-42DE-9D9C-D9E49849938B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36f4fdcb804fc8ecb718e226924fe7c17442b47e","datavalue":{"value":"https://doi.org/10.1007/s00153-014-0405-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2257109$FD97914C-9583-4BDD-85E5-F77B5582E122","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b38444ed6d60b9a627fe9649a81495b444a085e2","datavalue":{"value":"W2052400687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257109$C2F82F1D-DE8D-4F11-BB8D-47CD684186C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de3f61905065ea973a09b9fee58c752f2b371318","datavalue":{"value":{"entity-type":"item","numeric-id":4844091,"id":"Q4844091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257109$B76B6EAA-7481-4DCF-94EF-0843D8178187","rank":"normal"},{"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":"Q2257109$0F3E294E-0C13-4606-A30C-3E695931352F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31d16dc4543d3aaea61c049be7122e07d1c2eb5","datavalue":{"value":{"entity-type":"item","numeric-id":3037420,"id":"Q3037420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257109$8DF5AD2F-62AE-4CCF-9516-9C59D36C4774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d869d702a6b7d17629a4da52e1875415f116835","datavalue":{"value":{"entity-type":"item","numeric-id":3772206,"id":"Q3772206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257109$BAE96BA8-7916-4CBD-B953-40C893F92AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f747c2f85ecb809a80d1b07af8004653eb1df7c","datavalue":{"value":{"entity-type":"item","numeric-id":4532625,"id":"Q4532625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257109$660646FA-039C-4FA2-9F69-F4EF9E7E1B90","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":"Q2257109$4659009F-630A-43D0-AAF4-900B7A137277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a47be09afd8db4b724895ceb8b1fadc44f71259","datavalue":{"value":{"entity-type":"item","numeric-id":5641148,"id":"Q5641148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257109$95D27590-B798-4E84-98B6-F679592A6D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3647fe00e3b83141b14436c1949063f538c83988","datavalue":{"value":{"entity-type":"item","numeric-id":3997075,"id":"Q3997075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257109$E13E3184-25BD-4B9D-8168-1330C59D2A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c9528c8e77ec4f443efef749148e8064a3d0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":3509077,"id":"Q3509077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257109$D895793F-4DC3-443D-B333-A4F3EE694493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8651847526f06bbf8dce3b5cb6174d2a0ff12c9f","datavalue":{"value":{"entity-type":"item","numeric-id":3801554,"id":"Q3801554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257109$2E6DD2E9-AEB4-4081-853E-B9A8818FD1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7456392ba6402a2398a43c3568dad7f52da20183","datavalue":{"value":{"entity-type":"item","numeric-id":4147976,"id":"Q4147976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257109$80265C85-FD6F-4CA8-8F57-A2903A457099","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d204a8e02dac56bb20daec5697186a708287acc","datavalue":{"value":"10.1007/S00153-014-0405-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257109$AC719A9D-FBAA-427D-910C-28E2E5D1E431","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e15593bb49c0fa9eb5c73a68474de0934acd0c5b","datavalue":{"value":{"entity-type":"item","numeric-id":2407561,"id":"Q2407561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d698c35124818f4182acf2a39f1facb3be46c132","datavalue":{"value":{"amount":"+0.85036700963974","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":"Q2257109$5E44FD71-25B8-4110-8AAB-57F03F2854A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f34d7e85ecb0478b5cad2dc40846ec0299cbcf7","datavalue":{"value":{"entity-type":"item","numeric-id":4299246,"id":"Q4299246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b155e383faa2203a056f446bd7db447ef22dd98","datavalue":{"value":{"amount":"+0.8425906896591187","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":"Q2257109$EAB6E634-5A74-47E0-8665-D110A54E3C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ed99855d62bb6d6c61bb7141a504f1fab855556","datavalue":{"value":{"entity-type":"item","numeric-id":3032244,"id":"Q3032244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda7ea8ae2a372058ab49d5c523ae19412db92c6","datavalue":{"value":{"amount":"+0.7491181492805481","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":"Q2257109$ECFC2735-5911-4AD2-91F5-E89AB4C71E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e924223aadb8b73f5b4a77d0a35b3e6f207abcd0","datavalue":{"value":{"entity-type":"item","numeric-id":4640681,"id":"Q4640681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47ac83afb67bc488d965f9dd5b975bee530f03cd","datavalue":{"value":{"amount":"+0.7433562874794006","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":"Q2257109$2732FB66-C773-4931-9934-99BB0F5907F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d73fcf63b6b3c7eaa4b38d1c467ad81c3e1d56","datavalue":{"value":{"entity-type":"item","numeric-id":334983,"id":"Q334983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b117b94d518c1a00b345d36e9c3a97e878d0bb68","datavalue":{"value":{"amount":"+0.7419778108596802","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":"Q2257109$BC581DCE-EF90-499E-8C03-1B38BDE1731D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A forcing notion related to Hindman's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_forcing_notion_related_to_Hindman%27s_theorem"}}}}}