{"entities":{"Q2869903":{"pageid":2880623,"ns":120,"title":"Item:Q2869903","lastrevid":58032678,"modified":"2026-04-03T13:03:50Z","type":"item","id":"Q2869903","labels":{"en":{"language":"en","value":"Rainbow Ramsey theorem for triples is strictly weaker than the arithmetical comprehension axiom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6243228"}},"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":"Q2869903$7774DC3E-9094-4A9F-B4EF-F6C5B2E23AA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da816008e8a1b3acdb509a876abb23ba8c8dd323","datavalue":{"value":"1300.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869903$8F030A7F-9E4B-4C23-97FE-35D7F3CB0C9E","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":"Q2869903$663EA718-B4F6-4249-9292-BD70780259C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b62054087ecfdb4f075fe42226b4bf080bcbce33","datavalue":{"value":{"time":"+2014-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2869903$2A1827F4-B5A4-4975-B93E-699FDDAE2F1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35d3f7b28543579e6c356b9216d292816c854f6a","datavalue":{"value":"https://arxiv.org/abs/1303.3327","type":"string"},"datatype":"url"},"type":"statement","id":"Q2869903$4F955BBA-2483-4B15-BCF0-C71B878A6BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f53ea7570c3f3cc1836bb98298da1f272e4e5145","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1389032277","type":"string"},"datatype":"url"},"type":"statement","id":"Q2869903$6BA26288-7068-410D-BCF3-DC2609F1E5F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869903$2D8E6297-1618-44C6-B939-3C12A7279FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869903$BC088F7E-16AD-4765-BF44-CF9B0A9DF07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869903$4C3096BE-192C-4305-9B18-4BF6267B2931","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"216a8763908bd7c527a80afc061f62a924594521","datavalue":{"value":"6243228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869903$7D5A2A3A-9AC2-4F1E-B02B-18FE047D3AC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"461d39200e573b893247f72bc707a68f4eb77ea1","datavalue":{"value":"ACA","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869903$E056B884-431B-42C3-9BEF-986A96EEA659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"155887e129f138ddb550f061b25d6f62f70a6545","datavalue":{"value":"arithmetical comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869903$2C5CD27F-CD18-412B-B979-D5C10CF5AA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"041059c8622a4b6036e4fbaf77c817a24f85c72d","datavalue":{"value":"cone avoidance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869903$7031D864-84DC-4FF2-8266-DC6CCAD112A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fcafbe60ba931fb1ca98c9aa7fb85844771293e","datavalue":{"value":"cohesive set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869903$C715AF03-AD54-49A8-A590-4F5CA6943112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cdd0834882fe294d94d7b271d878fd8dd4cec2c","datavalue":{"value":"rainbow Ramsey theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869903$6E82FE70-79D3-4BC2-A71D-33DD6EC77120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869903$D6B9A6AB-292F-4BA7-8E44-FE0F3876DFA8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c90b3cd8f5801966164a12412292a725e59ef4b3","datavalue":{"value":"Q114005164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869903$7D5B9B2A-4018-4458-912C-DBCC68C45181","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":"Q2869903$A18FEAA4-75C1-49EA-904B-9B56CEB8D4B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9733da9d0efc5ad45e58fd73bdb7c79fc1a30ef","datavalue":{"value":"W2592247263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869903$72A3A871-2FC2-49D8-B6FA-7DD366920B82","rank":"normal"}],"P223":[{"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":"Q2869903$83F29227-869D-40B2-A546-5250A6C2EDDE","rank":"normal"},{"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":"Q2869903$D1C43D60-2326-46FD-A2F8-A76B5EBFCA08","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":"Q2869903$336A5C1F-E3D8-4823-A90A-B1789956516E","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":"Q2869903$C834C44F-FFED-412F-B34E-0ABFAAE6131B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04918380c7e36dc72e72591ef80b07a5da57de19","datavalue":{"value":{"entity-type":"item","numeric-id":5659493,"id":"Q5659493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869903$F349568C-EE6E-4F5D-8D91-A00D3C8B59B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"474ab90c47e09c8cf7870cfc3c7c15aa73c136d7","datavalue":{"value":"10.2178/JSL.7803070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869903$73E65972-C461-4B9A-95BE-1D581E55D7C3","rank":"normal"}],"P1643":[{"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":"e217d127b530d04ecc09ec1f31171541d7b5b7ea","datavalue":{"value":{"amount":"+0.8901137","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":"Q2869903$477641E7-B01F-4A1B-8F0F-95E4E25E2FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c23e4ef37e278767fbedaa1c620a95e20dcabf19","datavalue":{"value":{"entity-type":"item","numeric-id":2629294,"id":"Q2629294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2967f712f54a3e3c8f873d397b1c656ea74ec95f","datavalue":{"value":{"amount":"+0.8804996","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":"Q2869903$E70602BC-A63C-4637-897F-E5547F85001C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19f34bdc8e84a9e58df4bdf4ca26c90f8fede545","datavalue":{"value":{"entity-type":"item","numeric-id":2453567,"id":"Q2453567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61789060144cbd48d4f32a9c3e1b873d72715f53","datavalue":{"value":{"amount":"+0.85648584","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":"Q2869903$74B50D86-85DB-4835-92AD-0BE0D9677891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"857c204f23944b2c12931c268fef439acfac30f6","datavalue":{"value":{"entity-type":"item","numeric-id":4281694,"id":"Q4281694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9066e8cdf7ee6990df83510b70b148d2f6f7502a","datavalue":{"value":{"amount":"+0.8501635","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":"Q2869903$0977E3A5-3269-4AC8-A4DD-C52EFF80EE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a53c1bbb60894f1fcdb8c4f57e7b48b79485a8b2","datavalue":{"value":{"entity-type":"item","numeric-id":5055640,"id":"Q5055640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"036bab582c038183cdc366433be05c251150e852","datavalue":{"value":{"amount":"+0.84995866","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":"Q2869903$6D7E5E56-2798-4042-B384-0C90B3E2E2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40460cd88e7b5e186260fedb53a7b7a9c4eebb3c","datavalue":{"value":{"entity-type":"item","numeric-id":949308,"id":"Q949308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ed257da35d301fa36eda9061dfedee6254bfe7","datavalue":{"value":{"amount":"+0.8475778","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":"Q2869903$019BABEE-1CE4-432E-A517-917AEE83C2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25aff33cf49cd05566c14b845bd43f3a6a8ac19","datavalue":{"value":{"entity-type":"item","numeric-id":4916553,"id":"Q4916553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b9708dc97c6a820b2cb494019bc1701bbfdf5e1","datavalue":{"value":{"amount":"+0.8474187","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":"Q2869903$444DCF1A-85B1-4326-90D6-513A5BA5E805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb725ccbb16bb61943962eba624bfe9bdc864ea","datavalue":{"value":{"entity-type":"item","numeric-id":3377512,"id":"Q3377512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ded76cc2dd209215b10492a1d30f208780e5e9","datavalue":{"value":{"amount":"+0.8466965","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":"Q2869903$D68B261D-90FA-4B93-8338-FC99DCDA16AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0c195c93562cbccb166fecfbb9ab58481080024","datavalue":{"value":{"entity-type":"item","numeric-id":4655903,"id":"Q4655903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"962de53b92a330d396a02eb1edc1350bc971a666","datavalue":{"value":{"amount":"+0.8466618","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":"Q2869903$418C0B10-8E9C-4C00-9647-65B4F57EC25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5bc76506aec930f3afe60830be164a5330299ff","datavalue":{"value":{"entity-type":"item","numeric-id":3426570,"id":"Q3426570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21538f81dbaee586be13e53a809c9c9eb08f4a88","datavalue":{"value":{"amount":"+0.8455049","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":"Q2869903$CA72FB80-906A-4C36-B303-BF5B449DB42E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d592aa0cdc8530f37294dd639118dd2cbe968774","datavalue":{"value":{"text":"Rainbow Ramsey theorem for triples is strictly weaker than the arithmetical comprehension axiom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2869903$330BC9D7-69BD-479E-BD57-4D3035D2826A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869903$43344F8F-3D07-426D-9AC5-0A5613BC9E7D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c86aa961023bbc81b50e81d51ff265a197266b7e","datavalue":{"value":"The rainbow Ramsey theorem addresses colorings of \\(n\\)-tuples. A coloring \\(f: [\\mathbb N ]^n \\to \\mathbb N\\) is \\textit{\\(k\\)-bounded} if \\(|f^{-1}(c)|\\leq k\\) for every \\(c \\in \\mathbb N\\). A set \\(R \\subseteq \\mathbb N\\) is a \\textit{rainbow} for \\(f\\) if \\(f\\) is injective on \\([R]^n\\). For natural numbers \\(n\\) and \\(k\\), the rainbow Ramsey theorem states: (RRT\\(^n_k\\)) If \\(f: [\\mathbb N ]^n \\to \\mathbb N\\) is \\(k\\)-bounded, then there is an infinite rainbow for \\(f\\). Working in the framework of reverse mathematics, the author shows that RCA\\(_0\\)+RRT\\(^3_2\\not\\vdash\\)ACA\\(_0\\) via an adaptation of cone-avoidance arguments like those used to analyze the strength of Ramsey's theorem for pairs. This result is sharpened in the author's article [Ann. Pure Appl. Logic 165, No. 2, 389--408 (2014; Zbl 1300.03012)]. For other results on the strength of the rainbow Ramsey theorem, see the work of \\textit{B. F. Csima} and \\textit{J. R. Mileti} [J. Symb. Log. 74, No. 4, 1310--1324 (2009; Zbl 1188.03044)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869903$4DD27734-E627-487A-B453-D6DE5858D787","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869903$5C5FDE1E-B012-4FF5-819B-B55471AC5CFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2869903","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2869903"}}}}}