{"entities":{"Q1061736":{"pageid":1072488,"ns":120,"title":"Item:Q1061736","lastrevid":66059736,"modified":"2026-04-12T07:15:55Z","type":"item","id":"Q1061736","labels":{"en":{"language":"en","value":"Recursively enumerable sets and van der Waerden's theorem on arithmetic progressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3910379"}},"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":"Q1061736$87103F6F-9FE7-43E1-88B6-6813963A41C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00d1ebb84f5f42c7012f501f4bf9153c34dad36f","datavalue":{"value":{"text":"Recursively enumerable sets and van der Waerden's theorem on arithmetic progressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1061736$BCF1F0BC-6A46-457A-A123-10766DC635A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f90349cf16fec0516169d6fbc9225215feadc89","datavalue":{"value":"0571.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061736$AD78CDC7-E296-4433-84BD-5BA1335DC9E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0b22c597c8b573856274c0b9425ef5e44cb3896","datavalue":{"value":{"entity-type":"item","numeric-id":654000,"id":"Q654000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061736$E7DC2156-0D84-4BDD-A314-96ABE4B1C9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc4f8ea62d3c6b1ab5106df550aefff56efc21b5","datavalue":{"value":{"entity-type":"item","numeric-id":926172,"id":"Q926172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061736$13836D96-7CD1-4764-A798-3C0512ED26BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061736$5286FA19-1758-4FC1-AF90-E3B06AB07025","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1061736$316BE8EB-66BC-42B4-B286-D3830F2FC3AC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2dbb3f5951073b93bace2e2bbd196820511aa1ad","datavalue":{"value":"The following weak effective form of van der Waerden's theorem is proved: for every natural number k and every recursively enumerable (r.e.) set A, either A or some r.e. set \\(B_ k\\) disjoint from A contains infinitely many pairwise disjoint arithmetic progressions of length k. (The proof uses the classical finite form of van der Waerden's theorem.) One might hope to improve this by showing that \\(B_ k\\) could be chosen independently of k, but this is not possible. In fact it is shown that there is an r.e. set A such that A contains no arithmetic progression of length three, and yet no r.e. set disjoint from A contains arbitrarily long arithmetic progressions. The latter is proved by a priority argument.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061736$29D8587D-2E2D-4663-91C5-F7B4D9E89966","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061736$430AE054-0352-45B0-B5A1-1B7937DF0522","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e53f2aa04c3b05ae2e789e921b39c7fa2b52313","datavalue":{"value":"3910379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061736$C8DFF007-17DA-4F61-B8CF-C587F22CCD05","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":"Q1061736$F059365A-929B-41C9-831A-A4B7F0F501C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2f57487f31ee6114c83a3e7b08eae99acc460be","datavalue":{"value":"https://doi.org/10.2140/pjm.1984.115.143","type":"string"},"datatype":"url"},"type":"statement","id":"Q1061736$742282E8-AFB8-4129-911A-5B9FBE6F0C95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34c9b343161c25738951bf9d45bb624cc686ee5e","datavalue":{"value":"W1971817667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061736$981BA8A3-44CC-4DCC-9678-FB31AF33CEAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"996f8c1685a22a7d26805a20040ec29212437c85","datavalue":{"value":"10.2140/PJM.1984.115.143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061736$9A6BA179-DBE0-464E-8D7C-C4D7917789F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe8ca4aeed8540c3c5f2997cd6538aa98f99fe0","datavalue":{"value":{"entity-type":"item","numeric-id":4405160,"id":"Q4405160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"009406ceee7245a0a4caa3a43dbcc5e39dc6b7b2","datavalue":{"value":{"amount":"+0.7756571173667908","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":"Q1061736$54B14969-578A-4AB4-9CCA-CF737ED523EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e859bfb38e4a0a4bd3162882c15054e8f3399f95","datavalue":{"value":{"entity-type":"item","numeric-id":1093636,"id":"Q1093636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f50f6fe7ca6dba39405f200629dfb3a545a0289f","datavalue":{"value":{"amount":"+0.7723668217658997","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":"Q1061736$7EDF419B-9D76-474A-9B05-C6D8C3C9E972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"292d2c73294e171cabc22d9d42358b64cabacce5","datavalue":{"value":{"entity-type":"item","numeric-id":4262162,"id":"Q4262162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60892c2359cdf9773c6b79243d1793550673d23e","datavalue":{"value":{"amount":"+0.755230188369751","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":"Q1061736$B50D7562-E211-46F7-AB33-0A7D5382C923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453e6656795eb36325ed5de14ab42204af5ca9bf","datavalue":{"value":{"entity-type":"item","numeric-id":4860060,"id":"Q4860060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa1ac1f8234d0463968578aac5dfcc1fa503f75a","datavalue":{"value":{"amount":"+0.7530573010444641","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":"Q1061736$A33D9EEA-EE14-42AA-B1AF-8266D93099AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb6b20177db3c016d4b1b57e5919809921b092e","datavalue":{"value":{"entity-type":"item","numeric-id":1288044,"id":"Q1288044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64374b604fccc94ae4394b6ac0642474f0856d92","datavalue":{"value":{"amount":"+0.75038743019104","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":"Q1061736$AE2FD27E-350B-4C32-8E54-524F3AD677E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursively enumerable sets and van der Waerden's theorem on arithmetic progressions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recursively_enumerable_sets_and_van_der_Waerden%27s_theorem_on_arithmetic_progressions"}}}}}