{"entities":{"Q892143":{"pageid":893991,"ns":120,"title":"Item:Q892143","lastrevid":57192111,"modified":"2026-03-27T10:39:38Z","type":"item","id":"Q892143","labels":{"en":{"language":"en","value":"Ramsey-type graph coloring and diagonal non-computability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6511007"}},"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":"Q892143$A42571B2-9E0B-4E77-9C6E-1B524AA017DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bf4f0d86627d7ebdbab5c54236f417ed1ee607e","datavalue":{"value":{"text":"Ramsey-type graph coloring and diagonal non-computability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q892143$1E08EDF1-4C39-4495-9CF1-C7375D548A3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0243cf84c66f334542f3d37d90d705bb665492e","datavalue":{"value":"1342.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892143$039A6FCC-9D70-4357-BF75-DDFDE0B1DF20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1ef153d9b4f1f3d6db3e86ef08f3ed5191e259d","datavalue":{"value":{"entity-type":"item","numeric-id":490868,"id":"Q490868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892143$3CCC0E03-D314-4F45-9BB1-075C569A0D6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892143$512B25DB-874B-4B1B-99A9-7CF23972D5A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"482b7978385e0be0d8ea5afcf93e349a724cc633","datavalue":{"value":{"time":"+2015-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q892143$A349A714-DF61-48C2-8E60-BE3236D09243","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66a0a2408b40cf9eff9daf9c2755d631e9cf7fd0","datavalue":{"value":"https://arxiv.org/abs/1412.0917","type":"string"},"datatype":"url"},"type":"statement","id":"Q892143$64DBC93E-0B64-4792-9F2E-697F1503AD99","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f4b5d98dca86d688bf76cc20fd700cc4790e3799","datavalue":{"value":"For each computable function \\(h\\), the author uses bushy tree forcing to construct an \\(\\omega\\)-model of RCA\\(_0\\)+\\(h\\)-DNR that is not a model of RCOLOR\\(_2\\). The principle \\(h\\)-DNR asserts the existence of an \\(h\\)-bounded d.n.c. function. Given a graph \\(G\\) with vertices \\(V\\), a set \\(H \\subseteq V\\) is \\(k\\)-homogeneous if for every finite \\(V_0\\subseteq V\\) there is a \\(k\\)-coloring of the vertices of \\(G\\) restricted to \\(V_0\\) that is monochromatic on \\(V_0 \\cap H\\). The principle RCOLOR\\(_k\\) asserts that every locally \\(k\\)-colorable graph has an infinite \\(k\\)-homogeneous set. For \\(k\\geq 3\\), RCOLOR\\(_k\\) is equivalent to RWKL, as shown by \\textit{L. Bienvenue}, \\textit{L. Patey}, and \\textit{P. Shafer} [``On the logical strengths of partial solutions to mathematical problems'', Preprint, \\url{arXiv:1411.5874}]. Clearly, RCOLOR\\(_2\\) is weaker than RCOLOR\\(_3\\), but it is not known if this relationship is strict. The results of the paper address a question of \\textit{S. Flood} and \\textit{H. Towsner} [``Separating principles below WKl\\(_0\\)'', Preprint, \\url{arXiv:1410.4068}].","type":"string"},"datatype":"string"},"type":"statement","id":"Q892143$28965E60-E5C3-495A-9797-CF8273707BCC","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":"Q892143$92F301EB-B561-42BF-BF12-B1A83466AEF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892143$22C9C4E8-7538-4DCE-8BB1-B4E9D7E70E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892143$EA56C5C2-1124-41A8-A389-CDD2D6E35334","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec9870d31f39917ec9b17c0459d2f0140b65304f","datavalue":{"value":"6511007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892143$4908E5C7-21BF-427C-A593-BB898D8DE3D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q892143$82095A86-497D-4CE6-B2B9-51ACEC26FF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q892143$2C27E6AA-B92C-4463-85CF-40D4D9FEE2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09726da53e95ae004a19637083ed8dc4eff896f","datavalue":{"value":"graph coloring","type":"string"},"datatype":"string"},"type":"statement","id":"Q892143$0F2560AF-C149-4048-B5D7-1FA816208228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06787681169b06aa6ebc24a622e3c68f2767c214","datavalue":{"value":"K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q892143$37561F46-53BE-4820-AC1D-B84941B1AB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"849d936faba51f25f0863ef6574ec06b8de7d474","datavalue":{"value":"bushy tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q892143$F3FEDDF9-7B24-440D-89AF-88A436349342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b97af56225077a16b53544922a29c89ad968156","datavalue":{"value":"DNR","type":"string"},"datatype":"string"},"type":"statement","id":"Q892143$1F36B7A2-D4B8-4717-B246-C427F01C9B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8d417a4a186fd7f2f26ace2f044d7a7931dc418","datavalue":{"value":"RWKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q892143$E241DA93-B07B-4697-8DD3-1208B075222A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08838b2085abdff01756a6214033803bb38a9d56","datavalue":{"value":"RCOLOR","type":"string"},"datatype":"string"},"type":"statement","id":"Q892143$0DA0F13A-594B-4E31-A48C-54B4F5BE0749","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":"Q892143$9CFC39B2-5548-40FC-A37E-8D70A0D18A2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e48071a170f91f95ec1d22df4d9b094de4f8fff2","datavalue":{"value":"W1717332283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892143$62F57F50-4EEF-465F-A4DD-78A962D4A7DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"148ea55d4eaac3fa51f4c936637a62d92bd1c1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5311768,"id":"Q5311768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892143$B889D6E2-EEFB-4CB1-80B9-3386B6AD487B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88d1eae8511a6b94b9aa67e4087576bf9946c7c","datavalue":{"value":{"entity-type":"item","numeric-id":515575,"id":"Q515575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892143$77157989-D5C7-4780-B82B-E412B13092A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21424c5a1b7f8c0b598edb7bc3fe4a7a15834df5","datavalue":{"value":{"entity-type":"item","numeric-id":3649154,"id":"Q3649154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892143$0DA42A75-9007-4C98-93AE-DA5F2A7F619B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6dbc247f6d15199015f80b631dddf2853959f7","datavalue":{"value":{"entity-type":"item","numeric-id":2795915,"id":"Q2795915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892143$01EE5D24-0409-41F6-A8E0-DD21C817200F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45131a38ff53f12b9952d52e2962c28740fef2f7","datavalue":{"value":{"entity-type":"item","numeric-id":3161424,"id":"Q3161424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892143$0B270512-6254-41EE-989A-6B6253968D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3422a75bab35171159b9c7a1569787ac90b8997","datavalue":{"value":{"entity-type":"item","numeric-id":4899173,"id":"Q4899173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892143$7D780579-B0D7-4E55-AE82-85E0D3101FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d12dfa4f63d9f4f10bf084be4b4cf1cbaffcaf23","datavalue":{"value":{"entity-type":"item","numeric-id":2958212,"id":"Q2958212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892143$BFBF69A7-8A14-4B28-A03D-6C2CB977FD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5073a7c1f52573233431e56ccc5715c17ecb3835","datavalue":{"value":{"entity-type":"item","numeric-id":2869911,"id":"Q2869911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892143$829DD5EB-A4DA-48DD-828F-533858D53ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d38530a2faf22064b93a3d11b7257c6f271a91f9","datavalue":{"value":{"entity-type":"item","numeric-id":3630585,"id":"Q3630585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892143$C5D35BA0-E515-4C8F-8CB0-7AB6DD05681F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c89702d8fb705ac6c6a0bf8e894346d7d15cdaf","datavalue":{"value":{"entity-type":"item","numeric-id":3478406,"id":"Q3478406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892143$39C268F7-D531-45A8-9CE5-31DFB7A24C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"238fd29f8ac226411b59375cbcf60013cf861c4c","datavalue":{"value":{"entity-type":"item","numeric-id":2543461,"id":"Q2543461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892143$4FAFF80A-D7E0-4006-BFA0-D250F3C39C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfe38fe19cf97f81a630bbeb3a96a5b65d421db0","datavalue":{"value":{"entity-type":"item","numeric-id":3489987,"id":"Q3489987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892143$CA0EBBDD-CDEA-4973-98F0-EDCB4C5A2447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211d746f29cf3fc830ad675337cc6c8fb4df0b67","datavalue":{"value":{"entity-type":"item","numeric-id":3469096,"id":"Q3469096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892143$D6B09CE8-58DF-4B33-9350-C3C4A89B7D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c05740b633081c55137b74ef9c636a0c634ec67","datavalue":{"value":{"entity-type":"item","numeric-id":5363371,"id":"Q5363371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892143$161F011B-5696-401C-B508-5ED3F92F33AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be6f5138ebf3eb426051750b4ba7faff08bc00b","datavalue":{"value":{"entity-type":"item","numeric-id":1012969,"id":"Q1012969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892143$BF2508B2-37CA-438D-A00F-B521FB18951C","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":"Q892143$CDC061B6-6967-43BD-A21C-C36D334A364B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f3e2147ff83d09a44d22572a320e6572c66fe3","datavalue":{"value":{"entity-type":"item","numeric-id":5401600,"id":"Q5401600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892143$C2F12D8D-418D-4D36-8276-94DED0EA7D85","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":"Q892143$5473E14F-8384-442A-8F2D-C9CB65C51A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892143$05FCEA8C-50B5-47FE-B8F0-F4B8ECC53425","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46577a10491c303ad18b8b37b429436d095d3521","datavalue":{"value":"10.1007/S00153-015-0448-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892143$045CD427-15E7-41FB-B817-63B7670FD0CD","rank":"normal"}],"P1643":[{"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":"db7e66f851f2e3a4e86ddd0ea048516bf5bdfab7","datavalue":{"value":{"amount":"+0.7625409364700317","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":"Q892143$C3E34293-ECE3-4433-8499-D0515416F4BB","rank":"normal"},{"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":"379b38df469539d809a68c1b5ba040c1562cb5f2","datavalue":{"value":{"amount":"+0.7625406980514526","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":"Q892143$4BC2B553-92C2-436F-80CE-1D44406A2B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fae28e3421bd8709cd1572a7907ef43218ae9ee","datavalue":{"value":{"entity-type":"item","numeric-id":2795915,"id":"Q2795915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400ab571cf1213a5f57d8364a5649591c72b31d1","datavalue":{"value":{"amount":"+0.7557992935180664","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":"Q892143$1CD3A3B7-7B0E-446C-BB11-387C218106D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a45d8573794ada1aa64f19f03d8c714a44e3e92e","datavalue":{"value":{"entity-type":"item","numeric-id":3530396,"id":"Q3530396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad655de0f05d5569420831c399715e6fc3458bfe","datavalue":{"value":{"amount":"+0.7521769404411316","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":"Q892143$CFFA8FCF-D305-47B4-9B94-2B39B9DEDB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326d1c99ae91d1ba5187efca30c8f1de51462184","datavalue":{"value":{"entity-type":"item","numeric-id":5711894,"id":"Q5711894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35891908269380230f3d158d184ff127f5a1a09c","datavalue":{"value":{"amount":"+0.7484502792358398","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":"Q892143$377F15FB-3545-4DA8-B2D3-DC3D88874471","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:892143","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:892143"}}}}}