{"entities":{"Q386619":{"pageid":388386,"ns":120,"title":"Item:Q386619","lastrevid":61454247,"modified":"2026-04-10T23:28:47Z","type":"item","id":"Q386619","labels":{"en":{"language":"en","value":"Cohesive sets and rainbows"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236862"}},"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":"Q386619$BA7B4A7F-3088-4017-A32E-D2F6ACA8311C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a513bd7f23f3c0fc03c666d1ef2330a6ae3d574","datavalue":{"value":{"text":"Cohesive sets and rainbows","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q386619$24005EA1-FC0D-491E-883E-0A21F05DB369","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2642a3ed77bfb0cd1839e49967d618bb44c84a63","datavalue":{"value":"1300.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386619$4EEE66F8-510C-4AB1-BF5E-F0921A09CCC0","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":"Q386619$6545C2B5-38BA-4E2F-B52D-8BFD3B50D8D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386619$8BB6E1FF-0877-4C5B-A324-4D0DCEDAC635","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e990124985cbc9928eee57b5fc6b3c854c8f2494","datavalue":{"value":{"time":"+2013-12-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":"Q386619$4CAA97F3-CE6A-4863-9ACC-6A599FC448CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01b8998e424631db51c84ab57863055160da4987","datavalue":{"value":"https://arxiv.org/abs/1303.3329","type":"string"},"datatype":"url"},"type":"statement","id":"Q386619$0E691E26-1C39-4EF5-96AB-05360EDA3D6D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2a7437ab050951a2d88030c610140e276e9cd524","datavalue":{"value":"For natural numbers \\(n\\) and \\(k\\), the rainbow Ramsey theorem (RRT\\(^n_k\\)) states that if \\(f:[\\mathbb N ]^n\\to \\mathbb N\\) satisfies \\(|f^{-1}(c)|\\leq k\\) for each \\(c\\), then there is an infinite set \\(R\\) such that \\(f\\) is injective on \\([R ]^n\\). \\(R\\) is called a rainbow for \\(f\\). The central results of this paper analyze the strength of RRT\\(^3_2\\) in the framework of reverse mathematics, showing that RCA\\(_0\\)+RRT\\(^3_2\\) implies neither WKL\\(_0\\) nor RRT\\(^4_2\\). Computability-theoretic results on cohesive sets are used in the proofs. The results here sharpen the main result of the author's earlier related paper [J. Symb. Log. 78, No. 3, 824--836 (2013; Zbl 1300.03013)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q386619$2EA8E4FD-2F66-4835-B31C-8FB15127E53D","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":"Q386619$544B471F-57F6-406C-983C-4F6E94BAF9A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386619$E02A4BA1-F4E3-4493-836C-D60FFA1B2EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386619$B8C696E2-145F-4B95-9981-0E25FF0CB6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386619$9F442657-5716-4CFA-9145-5E85A209B8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386619$F49B4D73-FA5C-4272-BE80-A8E272FF82A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386619$E5E5D4DA-4C41-4BBA-A7A4-6AC9CB9D4EC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f075180ebd9206e49b1101165f661267570438f6","datavalue":{"value":"6236862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386619$F2F890C0-D787-4267-BF5E-2A56100723E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q386619$31ECD9EC-A697-477C-888C-C02C06A3E26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q386619$6D9705FC-11C7-4054-AC16-FA2D1FB3A814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cdd0834882fe294d94d7b271d878fd8dd4cec2c","datavalue":{"value":"rainbow Ramsey theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q386619$F585C695-A534-4CB6-971E-60D4DE2CB1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fcafbe60ba931fb1ca98c9aa7fb85844771293e","datavalue":{"value":"cohesive set","type":"string"},"datatype":"string"},"type":"statement","id":"Q386619$DE436AE0-AE91-4CC1-B25E-D9D1131C2B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65c903e15f344548cee589bcf472518f888ec2b","datavalue":{"value":"weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q386619$7F6D2E37-3FA2-412F-A119-AE7180BAE3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971c3a87d61cd2b2dd145b9052225bdfe903feef","datavalue":{"value":"WKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q386619$E312452A-A83A-4D85-8562-9B1E84A1FB20","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":"Q386619$113EC4C0-E282-42D3-84D6-59751D4B5530","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da96927bbe28ffc80f710425ed5b64bd4a4c1e57","datavalue":{"value":"W2160285120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386619$69C96C4E-3F7C-4B00-AE09-04EC8A331204","rank":"normal"}],"P223":[{"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":"Q386619$971724DD-6229-4EE2-98CF-F17B3A32485C","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":"Q386619$8A60AADF-5FD8-4ECF-BED8-330D56EBC059","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":"Q386619$9555B094-AE85-49A8-8C33-086E9A7F2B8E","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":"Q386619$568BE3E9-604E-4900-8CBA-A5C096A9716D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a741ee1e1772f56d290380cb62f418c22e3e412","datavalue":{"value":{"entity-type":"item","numeric-id":4304787,"id":"Q4304787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386619$49986253-0001-4696-8F7A-35B797D86AE3","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":"Q386619$9F623560-89B7-4483-B976-10914DCF7D1C","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":"Q386619$0B6691B0-03AA-4E42-BB7D-56235025F8D6","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":"Q386619$2E7E6966-56EF-4519-915A-4F0004FB7E83","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":"Q386619$804D2B2B-6109-49CA-A226-71C0C6F880C7","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":"Q386619$AB5132B8-94B7-41EF-9020-C92D1CEBA91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386619$CAA2DFB5-9C09-4442-9957-42566CEBEF83","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":"Q386619$43ECD158-F9B9-4BE4-B285-327A6294D7E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82f3641798d2c3e6d42c8b8975d86a0f7907e3d1","datavalue":{"value":"10.1016/J.APAL.2013.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386619$19A3FC37-6D88-46B7-94AE-06FDCE823522","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":"edf0c7cde0d9f83f28165df69ac4a9b58da9672f","datavalue":{"value":{"amount":"+0.8524189591407776","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":"Q386619$1B7C9242-A2A1-4B9D-A9F3-589593DD1032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eb3600076c635c84b78550c8926f808c4aca12e","datavalue":{"value":{"entity-type":"item","numeric-id":2869903,"id":"Q2869903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c10f2a014a4aabc282408fd6187065ef016df29","datavalue":{"value":{"amount":"+0.8293132781982422","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":"Q386619$73902A9C-A61D-4F0A-9339-07A2231A0DCE","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":"2bc393dbcf1f16b644a4dfdf942a54a08d669541","datavalue":{"value":{"amount":"+0.8128907084465027","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":"Q386619$D7879A20-D11F-425B-8BCB-C1FF744D0973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acd12e15efbc0ba6acf3ef4557da881aadb5736f","datavalue":{"value":{"entity-type":"item","numeric-id":5496327,"id":"Q5496327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfda909d3a2caaf6848a37bc291c66c0e4121f3","datavalue":{"value":{"amount":"+0.8059629201889038","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":"Q386619$826E7BF0-C7EA-477A-95EE-52D957767BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39b73d3d0ca97dd10dce841825c231f7475b8844","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0657bda0a8beba4c695439cd7b644c17f7942eb0","datavalue":{"value":{"amount":"+0.7858188152313232","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":"Q386619$6897DAD7-EFC2-430E-9AD8-403F2124BE91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cohesive sets and rainbows","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cohesive_sets_and_rainbows"}}}}}