{"entities":{"Q2892679":{"pageid":2903404,"ns":120,"title":"Item:Q2892679","lastrevid":58051227,"modified":"2026-04-03T14:55:24Z","type":"item","id":"Q2892679","labels":{"en":{"language":"en","value":"\\(\\mathsf{RT}_{2}^{2}\\) does not imply \\(\\mathsf{WKL}_{0}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6047779"}},"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":"Q2892679$B1FA8E02-4123-4671-876D-934F246B4892","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d9bd5f1119b5b5b79e31a9c5529a66a333d0346","datavalue":{"value":"1245.03095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892679$56960D09-FAF0-416E-B213-71C769B23E40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bc1527b9e3df4df4d3d264b6c87a84fe444deba","datavalue":{"value":{"entity-type":"item","numeric-id":399145,"id":"Q399145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892679$A1B64F6D-3EBC-42C0-9221-9DD7DA87110C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"555fba5bdc6c0bd8b767e7cf573522b7525626a8","datavalue":{"value":{"time":"+2012-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892679$F6C947B1-22BA-4095-853E-A6CB629A147F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59475360024aae19967ae89c3823749ae3422b9d","datavalue":{"value":"https://arxiv.org/abs/1602.03784","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892679$B8AFFEAE-0B19-45DD-B1E4-50246D9EADE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbf3780c8d9b8e153d0437179ac44778e7e2a42b","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1333566640","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892679$CC07889B-5F39-45CD-91AE-316728504B33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892679$D9779123-39A3-4609-95DC-1FC0CFE56A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892679$04630AA4-2A04-4EA3-99C8-63DF4EA40BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892679$21EA7923-EFA0-4494-BB54-A365ED33D3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892679$8EC3FB52-D01C-46A6-9ED1-C67661FC0DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892679$576DEA83-0590-4D41-B994-26071D10A868","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"636fbf1b31327067d08687292fc765ec5fac21c7","datavalue":{"value":"6047779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892679$57EBE887-F258-494C-9086-31B858472C5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892679$20F3FBF4-ED36-47A2-8E72-0BE71EF7A07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892679$E51EED37-9C97-4AFB-B7CD-3F888A177395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892679$37EB70F8-30C4-4328-8804-23AB37884F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12fe3d93818556d981ab269736c237cbc3a660f0","datavalue":{"value":"Ramsey","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892679$BE424FD6-91DC-4B41-8B7A-E109D8A325C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65c903e15f344548cee589bcf472518f888ec2b","datavalue":{"value":"weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892679$D5B9A6AF-2821-4DE7-BBAE-5E055C420F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87748aa4dda05bf8965e742d76826d38a1ea956d","datavalue":{"value":"RCA","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892679$E47B04C4-A377-40A6-809F-25D4D73734A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971c3a87d61cd2b2dd145b9052225bdfe903feef","datavalue":{"value":"WKL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892679$36F55F06-36A8-4244-A65F-891D6559E8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dd15bda065c5695ecebd1e24a1b8e9c09d91954","datavalue":{"value":"Mathias forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892679$20978607-979D-4E7A-8E47-9EA5C7D8302A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e6cd1120bdcc404d0d3db000c8957ce9970bbc3","datavalue":{"value":"PA degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892679$E403C076-5280-4081-9D62-D66C9CB8BF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"041059c8622a4b6036e4fbaf77c817a24f85c72d","datavalue":{"value":"cone avoidance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892679$F9D5FD73-0688-4419-809A-A5E03B5FE831","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":"Q2892679$28206394-EB57-4ACD-9107-2EF39B573D7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05dbf3281ff88e199a345818a8fbff6c4acf3465","datavalue":{"value":"W1560798351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892679$1568FA2A-8ED0-44B3-9227-CFACA3EBE428","rank":"normal"}],"P223":[{"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":"Q2892679$3322A257-F46B-47E2-99A5-ED4DC6F051E6","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":"Q2892679$C2CA0FE6-1119-4453-9CE8-2A250D96AD8C","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":"Q2892679$000B5D7A-CB3F-4B5E-B1C8-4E9643D0B6E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f58d6d8a475fa5965bd8ee4ce24671ce672055f7","datavalue":{"value":"10.2178/JSL/1333566640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892679$C1B7F67C-B855-4360-A78F-94774715A789","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ed968a82ed2856b921c6af924488a22802a3a9","datavalue":{"value":{"entity-type":"item","numeric-id":4522570,"id":"Q4522570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ab1f9ee08cdde93ebe86a16683fe24975f08696","datavalue":{"value":{"amount":"+0.83737004","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":"Q2892679$C6DDB703-F83E-4C34-BD31-9EC090EA1156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43828cb04ff4ba707f30377a91ed9692d2faeb1a","datavalue":{"value":{"entity-type":"item","numeric-id":2048618,"id":"Q2048618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10fc3d5e178b665012d8bb757520038d0ba58afe","datavalue":{"value":{"amount":"+0.81956184","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":"Q2892679$6E4D56D8-54CF-4449-8853-F5F1D6FCD973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cd25cfe567c43512fda02ae3c7915efd23ed21","datavalue":{"value":{"entity-type":"item","numeric-id":4273183,"id":"Q4273183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e9ae71e1809cd27913033630eb66e87f935f6eb","datavalue":{"value":{"amount":"+0.79680705","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":"Q2892679$C3DAB278-D469-4A6C-81C9-DF6947F7D933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c108f13bc2d86602528915fcfe262990c8df6c7","datavalue":{"value":{"entity-type":"item","numeric-id":1900346,"id":"Q1900346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43daf662fdd607db97c4b845d62f7593cbd51a35","datavalue":{"value":{"amount":"+0.7744045","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":"Q2892679$A8EEDCB0-0A85-4F26-9FE1-532A1633CA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff22a58213e8bd832e07799cdf772f704748762f","datavalue":{"value":{"entity-type":"item","numeric-id":1068341,"id":"Q1068341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d79d0c7e3f7cd27a9f6337250a10d5320553744","datavalue":{"value":{"amount":"+0.7705911","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":"Q2892679$0F47CF6E-988B-4F77-9FCB-9C5391C6791B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b8f4d73dcd0ebb8e643b99e5f1b7f2bbd80e228","datavalue":{"value":{"entity-type":"item","numeric-id":1379777,"id":"Q1379777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b22a22758a01d05998b22706aac79e776cea25","datavalue":{"value":{"amount":"+0.7625828","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":"Q2892679$EBC7A913-9049-404E-BC26-5FFEB37EB8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63098bc200a3dc861be1b96123c5f8cd04c28b47","datavalue":{"value":{"entity-type":"item","numeric-id":4391555,"id":"Q4391555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d18f1374a458263036cc89044e453c356d3c9c35","datavalue":{"value":{"amount":"+0.7538345","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":"Q2892679$39B721BD-C31E-4B4D-BF36-B22ABB84C725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88fde07b1e1e69e041c1679689ac9e64a1fefd84","datavalue":{"value":{"entity-type":"item","numeric-id":801028,"id":"Q801028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a65b7dcb2a831ee9254471983dfcaf064c43177","datavalue":{"value":{"amount":"+0.7512193","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":"Q2892679$EF635F06-1561-4CC0-ABEA-0325F6862693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa8a5a77e991154298c86c55863c5a0496e24c17","datavalue":{"value":{"entity-type":"item","numeric-id":312287,"id":"Q312287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"726d2b0dc0c3cbb527d00e802d299d0c7e8d95ea","datavalue":{"value":{"amount":"+0.7436746","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":"Q2892679$78B904D5-6439-4FB7-94F4-BCDB41D56CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf37349218f755d5112dcd18ac28351d481cf5c4","datavalue":{"value":{"entity-type":"item","numeric-id":3519923,"id":"Q3519923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bad80788f44319feb9e36b17c5266c1170a2f9e","datavalue":{"value":{"amount":"+0.74282444","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":"Q2892679$4ECA3894-7BD9-4029-B26E-6B3E13A68522","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2e9df2c302e0e542244059e5ed532759d0eaa80","datavalue":{"value":{"text":"\\(\\mathsf{RT}_{2}^{2}\\) does not imply \\(\\mathsf{WKL}_{0}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892679$5DB7F9DD-272F-463D-B854-CF6E93D5EEDA","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":"Q2892679$2BB07EC3-C24B-44C8-A666-009C553E8DDE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5ed2458c5959cb31e5879433170f61ce4f8e3a2f","datavalue":{"value":"In this article, the author settles a long-standing question in reverse mathematics by showing that \\(\\text{RCA}_0\\) plus \\(\\text{RT}^2_\\infty\\) (Ramsey's theorem for pairs for an arbitrary number of colors) does not prove \\( \\text{WKL}_0\\) (weak K\u00f6nig's lemma). He does this by constructing an \\(\\omega\\)-model of \\(\\text{RCA}_0 + \\text{RT}^2_2\\) in which the set universe avoids all cones above PA degrees. The construction relies on the following central computability-theoretic result: If \\(C\\) is not of PA degree and \\(A\\) is any set then there is an infinite set \\(G\\) such that \\(G \\oplus C\\) is not of PA degree and \\(G\\) is either a subset of \\(A\\) or disjoint from \\(A\\). The proof of this theorem uses a Mathias forcing argument based on techniques previously used by \\textit{D. Seetapun} and \\textit{T. A. Slaman} [``On the strength of Ramsey's theorem'', Notre Dame J. Formal Logic 36, No. 4, 570--582 (1995; Zbl 0843.03034)], \\textit{P. A. Cholak}, \\textit{C. G. Jockusch} and \\textit{T. A. Slaman} [``On the strength of Ramsey's theorem for pairs'', J. Symb. Log. 66, No. 1, 1--55 (2001; Zbl 0977.03033)] and \\textit{D. D. Dzhafarov} and \\textit{C. G. Jockusch} [``Ramsey's theorem and cone avoidance'', J. Symb. Log. 74, No. 2, 557--578 (2009; Zbl 1166.03021)]. The article assumes familiarity with this previous work.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892679$A66B4A40-DA11-4F5A-B115-17DA35CC3075","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":"Q2892679$67A44E0F-A84A-4E09-B768-B5B2318D3A15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2892679","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2892679"}}}}}