{"entities":{"Q1093657":{"pageid":1104409,"ns":120,"title":"Item:Q1093657","lastrevid":66953151,"modified":"2026-04-12T13:57:02Z","type":"item","id":"Q1093657","labels":{"en":{"language":"en","value":"Arithmetic progressions in partially ordered sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4023346"}},"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":"Q1093657$9CB224B7-8265-4F14-AFF5-F3CAA54E3BDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fd17385d3d0b856aa1f448247dada0efffa8011","datavalue":{"value":{"text":"Arithmetic progressions in partially ordered sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1093657$D4A19C0E-DA1E-49E1-910E-4A6A94440D8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7794bb3fc6f9525125309f40598772bf0ff44503","datavalue":{"value":"0629.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093657$30459925-2650-4FE3-8666-7A0B8E8305AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a539e6b59a5781e06906f6b0f6a357a21edb017","datavalue":{"value":{"entity-type":"item","numeric-id":792346,"id":"Q792346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093657$0FEA60E6-C8FB-46D4-8788-2E14BEB7B51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ed046cfa0f3aaebe7ee5a321838d2b14a94a270","datavalue":{"value":{"entity-type":"item","numeric-id":221782,"id":"Q221782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093657$CF04C202-01C4-4C85-9FC5-A61256AD6020","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093657$C660FCB7-0347-4999-832D-111279A55F24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1093657$E37A9FBB-E605-42B2-9357-1F91D024CBE3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cbc437705dd87b2158b7ca5134c6b6a9fce6bae0","datavalue":{"value":"Van der Waerden's famous arithmetic progression theorem is generalized to partially ordered sets. As a model of thinking the authors use its `density version' by \\textit{E. Szemer\u00e9di} [Acta Arith. 27, 199-245 (1975; Zbl 0303.10056)]: for every \\(\\epsilon >0\\) and every positive integer t there exists \\(N=N(\\epsilon,t)\\) so that for any \\(n\\geq N\\) every subset \\(S\\subset \\{1,2,...,n\\}\\) with \\(| S| \\geq \\epsilon n\\) contains a t- term arithmetic progression.    A sequence of distinct elements \\(a_ 1,a_ 2,...,a_ t\\) of a poset P is said to be a t-term arithmetic progression in P if there exists natural d so that the number of elements in each interval \\([a_ i,a_{i+1}]=\\{x\\in P|\\) \\(a_ i\\leq x\\leq a_{i+1}\\}\\), \\(i\\in \\{1,2,...,t-1\\}\\) is d. The width of a (finite) poset P is the maximal number of pairwise incomparable elements in P. The authors prove (Theorem 3): For any \\(\\epsilon >0\\) and any pair t, \\(\\omega\\) of positive integers there exists \\(N=N(\\epsilon,t,\\omega)\\) so that in any poset with cardinality \\(\\geq N\\) and with width(P)\\(\\leq \\omega\\) every subset \\(Q\\subseteq P\\) with \\(| Q| \\geq \\epsilon \\cdot | P|\\) contains a t-term arithmetic progression. In the concluding section of this interesting paper the following question is raised: is it true, that for every \\(\\epsilon >0\\) and every positive integer t there exists \\(M=M(\\epsilon,t)\\) so that in any distributive lattice L of cardinality \\(\\geq M\\) every subset \\(S\\subset L\\), \\(| S| \\geq \\epsilon \\cdot | L|\\) contains a t-term arithmetic progression.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093657$25C7E3E5-03DD-4E37-9E4C-41BB116E2E12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093657$FF42E144-3C01-44AA-937B-2BF1C03383C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"59ff1173f55ceccb7042119df1cda673726c7815","datavalue":{"value":"11B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093657$C7CB0266-614B-466D-B254-186A755C80CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8afe3c5a9fa0449dca60371c176beebeb6e1d999","datavalue":{"value":"05C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093657$86A19985-755C-4D26-9EB6-F2382BD42B53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0423ec3ce3d734e5f148e8537ed3327bda99ae7","datavalue":{"value":"4023346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093657$8DB3F903-AEA6-46EF-83BE-BB9642E1A5A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41a4faee37524b23a2d1bec4c67254b0d2fcd40a","datavalue":{"value":"arithmetic progression theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093657$CC0A1D6C-5907-42C0-9861-25D57BA99785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedf903784eeba0fa13d8545c010927ac8abaf15","datavalue":{"value":"partially ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093657$A4D9E48D-0957-4820-A691-927BA7DE3784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc5576a2416143853cf2cb32f755095f1ea824d3","datavalue":{"value":"t-term arithmetic progression","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093657$12428F3A-3F60-40D5-A876-F3819BCC0F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e81fc0b274ca6568194209cb25b533d8b15c5470","datavalue":{"value":"interval","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093657$316BF024-0183-4532-AD41-889919919428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccdf98bea6de3dcf3a7edd1fca9d3b62359e75d8","datavalue":{"value":"width","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093657$7430AF0C-7E2B-4F27-A2B2-71DCA41409D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093657$A2EEDFAF-49D3-4424-B02B-902C8A618AD6","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":"Q1093657$E97BE72E-5DD0-439E-83B9-DA4593136B10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"454759145e5f34fd9449a1637f09ccea6bb79b39","datavalue":{"value":{"entity-type":"item","numeric-id":5896543,"id":"Q5896543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf977d47771436df53d01a403b04921e2380413c","datavalue":{"value":{"amount":"+0.9254407","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":"Q1093657$3131609E-4D4D-4D45-A072-67D30C250DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f310eb7a0239b2fb0d354e21d5b284c7a2fc3d","datavalue":{"value":{"entity-type":"item","numeric-id":5917477,"id":"Q5917477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf977d47771436df53d01a403b04921e2380413c","datavalue":{"value":{"amount":"+0.9254407","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":"Q1093657$715F7DA3-651D-4D86-BC8F-C6C847A6298B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95292d4c0c21a9217cf8080842c156521ac6856","datavalue":{"value":{"entity-type":"item","numeric-id":1095188,"id":"Q1095188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3845bd2e38bc6ce6eda06091023c5accaf516f3e","datavalue":{"value":{"amount":"+0.9184746","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":"Q1093657$F391E7B8-9B8D-4F4B-ADA5-BDC5257AD2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13ddb8c0477363f4ffd09cb1cb6507670b4c74a6","datavalue":{"value":{"entity-type":"item","numeric-id":1193447,"id":"Q1193447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbcc4fdfeaa567442ac438580793eb7ada78ef4b","datavalue":{"value":{"amount":"+0.91456777","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":"Q1093657$7C01E47A-74B3-45B8-AF52-969483114131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79dff52ae79ccaff549b1a97be0f60dfb8c6732b","datavalue":{"value":{"entity-type":"item","numeric-id":4918849,"id":"Q4918849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06e08d1bba93960c96f2759b89ef9ad96d6088ad","datavalue":{"value":{"amount":"+0.9128754","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":"Q1093657$E1B2FA41-31CD-4C7D-8AAC-62E730EDB205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"349c78a9b7f999c3b6c2ec52bb3ef2e2672ba1b4","datavalue":{"value":{"entity-type":"item","numeric-id":1034679,"id":"Q1034679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f717ac2c0d8cc5ef774c7f92d395d272caf61517","datavalue":{"value":{"amount":"+0.90755683","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":"Q1093657$887A5BC5-248B-4B60-8894-AB4467E78133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5d0a8f07b5c58246af0488732a187e2124f915","datavalue":{"value":{"entity-type":"item","numeric-id":3202166,"id":"Q3202166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c9b12a3b1218de9c02535baf0d3756e3247e38","datavalue":{"value":{"amount":"+0.9036766","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":"Q1093657$283055DB-8E08-4726-82C1-6F45BAFFFAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad1256b3c4ba6b2eadda44f47cd3d677bc09386a","datavalue":{"value":{"entity-type":"item","numeric-id":5295404,"id":"Q5295404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4f60b2ccd5f4e0ca4168bdf30a34de5efb34a21","datavalue":{"value":{"amount":"+0.90237945","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":"Q1093657$4DB5CC18-68BC-4926-8C88-D17EEA20496C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arithmetic progressions in partially ordered sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Arithmetic_progressions_in_partially_ordered_sets"}}}}}