{"entities":{"Q2182273":{"pageid":2193016,"ns":120,"title":"Item:Q2182273","lastrevid":82581620,"modified":"2026-05-06T21:15:01Z","type":"item","id":"Q2182273","labels":{"en":{"language":"en","value":"On the strength of Ramsey's theorem for trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7202993"}},"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":"Q2182273$D5A6FF5D-DC11-4D8A-B64F-F87359C37EAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04c80d940ed6d96b4d9d2a2c87b16d8b782287fe","datavalue":{"value":{"text":"On the strength of Ramsey's theorem for trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2182273$BF8A0789-A52A-4ED2-AAAF-2DAB82822D72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25db81d7bc7d0bde854325ef5ea0a1edbb79e52e","datavalue":{"value":"1444.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182273$A517EBC9-724F-41AB-8788-33BE5605334E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182273$9456FD61-9B45-44FD-BEDB-E0BCCEB6F61F","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":"Q2182273$A965A606-4FA6-4D9A-AA17-E2C6F5E5C34E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7f157455450e9af34ed66ce1d308afc0b05988b","datavalue":{"value":{"time":"+2020-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2182273$A340F927-2D84-4132-9B84-99A21A68B5A6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ba988aea286b035196d000f9d0930b5f0b19d66f","datavalue":{"value":"The authors prove that \\(\\mathsf{TT}^1\\), the pigeonhole principle for trees, is \\(\\Pi^1_1\\)-conservative over \\(\\mathsf{RCA}_0 +\\mathsf{B}\\Sigma^0_2 +\\mathsf{P}\\Sigma^0_1\\).  Consequently, \\(\\mathsf{RCA}_0 +\\mathsf{TT}^1\\) does not prove \\(\\mathsf{I}\\Sigma^0_2\\), answering a question of \\textit{J. Chubb} et al. [J. Symb. Log. 74, No. 1, 201--215 (2009; Zbl 1162.03009)]. \\textit{J. Corduan} et al. [J. Symb. Log. 75, No. 3, 945--954 (2010; Zbl 1203.03018)] proved that \\(\\mathsf{RCA}_0 + \\mathsf{B}\\Sigma^0_2\\) cannot prove \\(\\mathsf{TT}^1\\), so \\(\\mathsf{TT}^1\\) lies strictly between \\(\\mathsf{B}\\Sigma^0_2\\) and \\(\\mathsf{I} \\Sigma^0_2\\) over \\(\\mathsf{RCA}_0\\). The principle \\(\\mathsf{P}\\Sigma^0_1\\) of the main result is equivalent to the totality of Ackermann's function, as shown by \\textit{A. P. Kreuzer} and \\textit{K. Yokoyama} [J. Math. Log. 16, No. 1, Article ID 1650004, 21 p. (2016; Zbl 1436.03303)]. Open questions appearing in the final section of the paper include whether \\(\\mathsf{RCA}_0 + \\mathsf{TT}^1\\) implies \\(\\mathsf{P}\\Sigma^0_1\\), whether \\(\\mathsf{TT}^1\\) is \\(\\Pi^1_1\\)-conservative over \\(\\mathsf{RCA}_0 + \\mathsf{B}\\Sigma^0_2\\), and whether \\(\\mathsf{RCA}_0 +\\mathsf{RT}^2_2\\) proves \\(\\mathsf{TT}^1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2182273$705D0516-CE25-4C54-BD3E-717B57577482","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182273$B97B9EE5-20FF-45F4-8FE2-A1F6613C6983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182273$666E27C2-E8DE-4A83-8D17-27DC0857F333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182273$9823789A-048F-49ED-BA3B-8AAAF5936B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182273$A270E1FA-982B-434B-A6EB-0F8D5F7B3641","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de2cb72d91a613d9baa391e8fd876e1d9db349a6","datavalue":{"value":"7202993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182273$B704570F-0292-4851-96D3-77AB995225E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2182273$73D9C6B4-1B0C-48BA-921A-086C8DA68E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df5214028d9298faf5ca07d80caed0d87b2fc6a5","datavalue":{"value":"\\(\\Pi_1^1\\)-conservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2182273$4721EC40-28D1-4DF8-AD68-570AA1E6E5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abd0e14b6a0e623cd7c19019e9fa87f3479146bb","datavalue":{"value":"\\(P \\Sigma_1^0\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2182273$F3BD736A-94CB-4134-A47A-E14E60C738CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa140a970322ce1baa9dda4c7dd86a9a93f69c19","datavalue":{"value":"Ramsey's theorem for trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2182273$57140B16-6020-47F7-8C77-1A604FDA626F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50f853d1b2917738b434c865116d7beb153fad3e","datavalue":{"value":"\\(TT^1\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2182273$5B22D48D-E601-417E-83F0-F87BD56C0764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c366d9e44e0d6a9e2cdc753868eab05ee1b2ecc","datavalue":{"value":"Ackermann function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2182273$866D51A0-18F5-4DDD-A709-0F83ED319BD5","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":"Q2182273$F9C830AC-BC02-41D9-A0E6-515015D129F8","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":"Q2182273$9C08488F-0805-4A99-9527-5536BF5322A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ee9cee1366144b3466548579c9270f2572e68cb","datavalue":{"value":"https://doi.org/10.1016/j.aim.2020.107180","type":"string"},"datatype":"url"},"type":"statement","id":"Q2182273$03586264-AEB4-4AB2-B930-08200910EA28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b71dd87cafda5b7fa1cbc52e765412d41b55217","datavalue":{"value":"W3023701676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182273$6DD6C243-1E70-4909-9E86-FD6F218EF180","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":"Q2182273$1466F4AD-857A-4FC6-A82F-389B2A0CA640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36b0c9973244414531d05b0f9be2844a192fe31","datavalue":{"value":{"entity-type":"item","numeric-id":2925331,"id":"Q2925331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182273$284952DE-60A7-4E46-86DF-60035EF85205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736c442fad7b5d4f015ebade6085c65d041e687b","datavalue":{"value":{"entity-type":"item","numeric-id":436224,"id":"Q436224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182273$B72B701A-6F20-428A-BC54-4CC1CF19D531","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":"Q2182273$FFDA7091-60BF-48CE-9622-5444E050EA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9261d074908cf9696109c50a66e4ac4f08d1d65","datavalue":{"value":{"entity-type":"item","numeric-id":507201,"id":"Q507201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182273$A5CB3461-D88E-43BA-BA59-0C09028A8646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b6dffb46938b1238910a31eab2509271fc0f3f3","datavalue":{"value":{"entity-type":"item","numeric-id":5308178,"id":"Q5308178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182273$7D15CB3B-99AD-46BC-A805-CAABEA40E553","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":"Q2182273$4E24765C-A68D-493F-A975-DDFFFED7FDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c50c5389506b48a40cc5f50cb3507687109d220","datavalue":{"value":{"entity-type":"item","numeric-id":4931100,"id":"Q4931100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182273$DC2CA93A-E1CA-4AD4-BA8E-C7E767DC04C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2ad545182683dba9b311a93eb3fdad942aac3ff","datavalue":{"value":{"entity-type":"item","numeric-id":2401697,"id":"Q2401697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182273$FEBE7747-2D7F-46AD-9874-9F0594BC805E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182273$C95557D0-CA8A-43F0-86ED-40556F719D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c13bd02c3dd8f2b3b7e6a48faaf22f4e79e587c7","datavalue":{"value":{"entity-type":"item","numeric-id":3186059,"id":"Q3186059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182273$73962357-EB45-48A0-9E0C-A12D189AC67E","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":"Q2182273$10E0CDBA-BE0A-444C-9E67-8A952FF1123A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98ec6ee902b0e405217f4c97bc503839cc2ad55","datavalue":{"value":{"entity-type":"item","numeric-id":1644984,"id":"Q1644984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182273$81443721-9A02-4761-8DD7-284CAB5A4292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75404b85aec9d3f8d81a90cf7f18337600389e","datavalue":{"value":{"entity-type":"item","numeric-id":3884109,"id":"Q3884109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182273$AD568EF1-9FD6-4EAC-A6AC-044BA6A7E819","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":"Q2182273$9D6291B6-CD6C-44B6-A75B-E8A645E06E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182273$1F582181-7DC4-4089-980B-07A3D62E3D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca570697c2a1f32bcb88f248a216c7b2c53aa97f","datavalue":{"value":{"entity-type":"item","numeric-id":2453567,"id":"Q2453567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2182273$AD21A60B-EB8F-447B-8310-227686B3B601","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7bf8b600ddd2ac5c97fd93b14dcaceaea6825c12","datavalue":{"value":"10.1016/J.AIM.2020.107180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2182273$F691BC73-6583-4475-96DA-D42C951D2B67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab542de1a31371e809e72e02a8c90564be6f0a62","datavalue":{"value":{"entity-type":"item","numeric-id":5004544,"id":"Q5004544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"064ae8b032eebd22ed8522406d92302539a77fcb","datavalue":{"value":{"amount":"+0.8503011465072632","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":"Q2182273$F374706D-38A6-4735-9EC5-31BA3530D08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5f6be9c312374205cedecb539f3df879e9e51ec","datavalue":{"value":{"entity-type":"item","numeric-id":1016503,"id":"Q1016503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f787c2ecc67cdf8035c4200401446aa957533cd6","datavalue":{"value":{"amount":"+0.8413031101226807","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":"Q2182273$55C5DA50-BB9A-4FA2-AA85-886192022045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28468bc65ee7ad3c62c861af26915cd2ef7b90b7","datavalue":{"value":{"entity-type":"item","numeric-id":2401697,"id":"Q2401697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5789bc39520e791e2c1211b0a15a3817e2903b0b","datavalue":{"value":{"amount":"+0.8295703530311584","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":"Q2182273$27E98A0E-FD93-434C-92EC-1C367F6486C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961dae499da38fc34fd516d4b864a76868bd391a","datavalue":{"value":{"entity-type":"item","numeric-id":2976343,"id":"Q2976343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91e056168e3a3ba85aa22bd9cf73e3f64405dbd9","datavalue":{"value":{"amount":"+0.8279944062232971","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":"Q2182273$B3B4EEA8-3B4D-4E89-BE88-EAB386175FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f93323efb147ed4ce5137e4c882728378ea631","datavalue":{"value":{"entity-type":"item","numeric-id":4931100,"id":"Q4931100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e62af75eb337010d3cea9a6fc88bd9dc78d637da","datavalue":{"value":{"amount":"+0.8094180822372437","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":"Q2182273$35A2013F-8439-4E86-A319-50D3381CA511","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the strength of Ramsey's theorem for trees","badges":[]}}}}}