{"entities":{"Q2453567":{"pageid":2464310,"ns":120,"title":"Item:Q2453567","lastrevid":57928062,"modified":"2026-04-03T03:07:42Z","type":"item","id":"Q2453567","labels":{"en":{"language":"en","value":"Some logically weak Ramseyan theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6302147"}},"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":"Q2453567$BFA5C4A6-B1ED-4F08-9941-06F027703B32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77898489f5bc33fbc70048b838137a58b793898c","datavalue":{"value":{"text":"Some logically weak Ramseyan theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2453567$EBDEC491-6F32-4C96-8C81-73C2E39FE08E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f135b82417cdc38a44e2eca537f3f46876293f7","datavalue":{"value":"1307.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453567$4DE9B74B-6298-4953-94DE-DDADF522CBA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"243882715d297243a0be5f7aa49421366a9fb681","datavalue":{"value":{"entity-type":"item","numeric-id":386618,"id":"Q386618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453567$42B2C8CC-6213-4EF3-92C4-760489445065","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453567$98505D3F-1C88-4292-A207-1BE79CB79B56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7deb189b65cc3fc27b859d71d92363347a0068f0","datavalue":{"value":{"time":"+2014-06-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":"Q2453567$7A1A5DA1-59C0-48C6-971E-D9C5341D0504","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02e4145711b6f0350e31b49ccb1c16e1face519f","datavalue":{"value":"https://arxiv.org/abs/1303.3331","type":"string"},"datatype":"url"},"type":"statement","id":"Q2453567$57472148-CB52-4995-A7B2-D1838EEAD20A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f1ce71b7f60f5bd120a8d5db7703d59c72baf85","datavalue":{"value":"The main aim of the paper is to show that some Ramsey-like theorems are weak in the sense that (unlike the usual Ramsey theorem) they do not imply \\(\\mathrm{ACA}_0\\) even if they are stated for arbitrarily large fixed exponents. The theorems studied include:  -- the achromatic Ramsey theorem for exponent \\(r\\) and bound \\(d\\), \\(\\mathrm{ART}^r_{<\\infty, d}\\): for every colouring \\(f\\) of \\([\\omega]^r\\) by finitely many colours, there exists an infinite \\(H\\) such that \\(f([H]^r)\\) has fewer than \\(d\\) elements,  -- Friedman's thin set theorem and free set theorem for exponent \\(r\\), \\(\\mathrm{TS}^r\\) and \\(\\mathrm{FS}^r\\): for every \\(f : [\\omega]^r \\to \\omega\\), there exists an infinite set \\(S\\) such that \\(f([S]^r) \\neq \\omega\\) and an infinite set \\(H\\) such that for all \\(\\bar x \\in [H]^r\\), \\(f(\\bar x) \\notin H \\setminus \\{\\bar x\\}\\), respectively,  -- the rainbow Ramsey theorem for exponent \\(r\\) and bound \\(b\\), \\(\\mathrm{RRT}^r_b\\): for every colouring \\(f : [\\omega]^r \\to \\omega\\), if not more than \\(b\\) tuples are mapped to any single colour, then there is an infinite set \\(H\\) such that \\(f\\) is injective on \\([H]^r\\).  The author proves that none of \\(\\mathrm{TS}^r\\), \\(\\mathrm{FS}^r\\) and \\(\\mathrm{RRT}^r_2\\) imply \\(\\mathrm{ACA}_0\\) over \\(\\mathrm{RCA}_0\\), and neither does \\(\\mathrm{ART}^r_{<\\infty,d_r}\\) for a sufficiently large number \\(d_r\\) which depends on \\(r\\) but can be effectively bounded in \\(r\\). This is a significant strengthening of earlier results by the author such as the unprovability of \\(\\mathrm{ACA}_0\\) from \\(\\mathrm{RCA}_0 + \\mathrm{RRT}^3_2\\) [J. Symb. Log. 78, No. 3, 824--836 (2013; Zbl 1300.03013)].  To prove the weakness of the above theorems, the author shows that the computational problems associated with the theorems have the strong cone avoidance property. Here, a problem associated with a statement \\(\\forall X \\exists Y \\varphi(X,Y)\\) has strong cone avoidance if for any set \\(A\\), any \\(B\\) that does not compute \\(A\\), and any \\(X\\) (regardless of the complexity of \\(X\\)) there exists a solution \\(Y\\) to \\(\\varphi(X,Y)\\) such that \\(B \\oplus Y\\) still does not compute \\(A\\).  Strong cone avoidance for \\(\\mathrm{ART}^r_{<\\infty,d_r}\\) and \\(\\mathrm{FS}^r\\) is established by induction on \\(r\\); the inductive steps are relatively involved arguments employing, among other things, standard tools in this area such as cohesive-stable decomposition and Mathias forcing. Strong cone avoidance for \\(\\mathrm{TS}^r\\) and \\(\\mathrm{RRT}^r_2\\) follows easily.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453567$CB4E4FA3-6949-4202-84AA-62FF87AA6DCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453567$FC0497C6-468F-4F2E-8E26-AA25A21B294F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453567$47A4ACDF-F92A-4945-A8AA-AD466FD36474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453567$1B289D43-03B2-4687-97BF-D4B250B7598D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453567$312A5636-854A-41B9-AC31-0565A0EA87F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e576c26201842136b62f16f77bce192693c6ff3","datavalue":{"value":"6302147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453567$9C659491-F6FA-482C-80A4-55A767A3E1D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453567$106EE005-BB7B-4C65-ACDD-5890B537B3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453567$4A70EDCF-FBC0-4AF9-8F75-91983688CAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc3dc11a3d3149bae3884d645d31dfcb1acdc649","datavalue":{"value":"free set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453567$57AFE619-F297-4845-82CF-051ED6571832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fd96a40b41baa2ca51aa307f7438b7f4ffaceb9","datavalue":{"value":"thin set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453567$FA82F0D3-C9A7-4C48-BCA6-BEB5233EB16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cdd0834882fe294d94d7b271d878fd8dd4cec2c","datavalue":{"value":"rainbow Ramsey theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453567$3E5C9F59-FDB3-4F41-8796-6742CB221481","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":"Q2453567$8F166736-F79E-4FED-9644-434A97844F79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21d979a86ff8cd007ed99f9c92ee74aedc0c02c5","datavalue":{"value":"W2111379744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453567$F97F7AD4-DF6F-48D9-9A80-482FF8DB1B3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe1f8f54ba03c49cff0d68f7b9824a34fdf219b","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453567$B0DB207B-9D6D-47D7-96C8-5F887C96528F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fc1440d6eff8311a56781a4fabd92c328ab56c","datavalue":{"value":{"entity-type":"item","numeric-id":5711879,"id":"Q5711879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453567$CBCB5866-207C-4FE7-A0F9-68A53EEF5E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c36d3f2be7827491b5673d0e04c23217f1388","datavalue":{"value":{"entity-type":"item","numeric-id":3190948,"id":"Q3190948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453567$E2D5215E-8A17-45A8-9FD1-78CDD63327C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9adecf7d0ae4398069ab45177c53b398caa2f","datavalue":{"value":{"entity-type":"item","numeric-id":3616350,"id":"Q3616350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453567$BFD1C3D2-13EF-4D23-A04D-8D7295396B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a378e404dff4e3000a20fc509afbdb84993a7fed","datavalue":{"value":{"entity-type":"item","numeric-id":3655258,"id":"Q3655258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453567$62D33F3C-B040-46EA-9FA1-91BB01CCB03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f85186927e9336c9a482f6b073e24580eb2fbbc","datavalue":{"value":{"entity-type":"item","numeric-id":3630579,"id":"Q3630579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453567$3C6971E3-5297-44F0-9F6F-27E350D2A26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7993358cb712a93851b0bd102eb877f5714a26","datavalue":{"value":{"entity-type":"item","numeric-id":5541367,"id":"Q5541367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453567$4BC8A257-1CD4-4CEC-9935-08BD1C7401B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73aacf0d9eee94cb147aba63928e7a70459be73","datavalue":{"value":{"entity-type":"item","numeric-id":3426570,"id":"Q3426570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453567$86291370-1E1A-4167-8468-3827D0ABF329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc68fbc256a340ad9770614b514ab49182f4bdd","datavalue":{"value":{"entity-type":"item","numeric-id":5677475,"id":"Q5677475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453567$9EEEF3F8-5F41-4F42-AA0E-EB8E8E3C8CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453567$A9947165-54BA-4511-B6C9-2D3D7AE1BF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69f71c65f6603cecb67d9b8266a9670a9f8a421e","datavalue":{"value":{"entity-type":"item","numeric-id":3758821,"id":"Q3758821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453567$BFCA6E1C-AE79-4F4D-BB48-995736F3289E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe67cddb1d2e8d4582eb3ba360c56bb29576a54c","datavalue":{"value":{"entity-type":"item","numeric-id":3329452,"id":"Q3329452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453567$304EF7C8-F15B-4DDA-9161-87E057614E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9f33c4b31058c99898dd9dbc21aeb3e3096923","datavalue":{"value":{"entity-type":"item","numeric-id":2892679,"id":"Q2892679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453567$33A27E47-37DC-4C38-B674-0B34E6FFECCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3145791be41afb1e842f815f01a740997a825544","datavalue":{"value":{"entity-type":"item","numeric-id":1913632,"id":"Q1913632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453567$461E6955-9FBB-4F9E-8D3D-EC9D644F8390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453567$CB2345B9-05B0-4984-840C-135B0B2E0F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e143b6ffbbcdecd6c320e7f1c06e4e3de61c2b","datavalue":{"value":{"entity-type":"item","numeric-id":2869903,"id":"Q2869903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453567$3E9BA4F3-9B9F-4D54-A756-26474458B2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ae1581f479a8c6f3f58381d12fe820e7e38be48","datavalue":{"value":{"entity-type":"item","numeric-id":386619,"id":"Q386619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453567$EE026512-2981-48BE-80BC-0309F4A0417A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1157d30e6be69f2d25fc28d3f130f6bb653c026","datavalue":{"value":"10.1016/J.AIM.2014.05.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453567$7D24B99C-6143-462B-A483-D8A8C22C66D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e213e5a57a2230f087bf04f0c671ed2e5c54400","datavalue":{"value":{"entity-type":"item","numeric-id":4323045,"id":"Q4323045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4712b8686718a93f62d765156b6dde32d0f8024","datavalue":{"value":{"amount":"+0.8389025330543518","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":"Q2453567$30E6FEED-F8CB-4986-B624-9EED01D77AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b45cd3aeefff8cfe9b670fd8245367a079b14dd","datavalue":{"value":{"entity-type":"item","numeric-id":3655258,"id":"Q3655258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8963c5bf01193c19710fb9d786ccd9e0d1f32c0","datavalue":{"value":{"amount":"+0.8327261209487915","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":"Q2453567$575BE700-69BC-455C-BCE9-B701743E62D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a895dc54639ab21cc7b6646ac9a56d087397622","datavalue":{"value":{"entity-type":"item","numeric-id":1327381,"id":"Q1327381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da561bd27c01743dcf53f0398c84e824dccfee1f","datavalue":{"value":{"amount":"+0.8285873532295227","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":"Q2453567$14AB13F0-3EFB-4851-9183-3239AC6286B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c3a696a995b350c1df41c9eb5e7c5e82f5f1c01","datavalue":{"value":{"entity-type":"item","numeric-id":503277,"id":"Q503277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2596d5972990931ae371127c96a5d7c6a834d3b2","datavalue":{"value":{"amount":"+0.8164026737213135","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":"Q2453567$D443D6A4-E24C-4C2B-B8B6-07FA27532C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956b97ae9bd786765e9ca0896991f9818b597f0c","datavalue":{"value":{"entity-type":"item","numeric-id":1913632,"id":"Q1913632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88802b8edb32cae59931665fb517ed58092dc68f","datavalue":{"value":{"amount":"+0.815940260887146","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":"Q2453567$29DF26D9-6302-4FF5-B2CE-70F0E22FD925","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2453567","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2453567"}}}}}