{"entities":{"Q1016503":{"pageid":1018351,"ns":120,"title":"Item:Q1016503","lastrevid":57318276,"modified":"2026-03-30T09:54:20Z","type":"item","id":"Q1016503","labels":{"en":{"language":"en","value":"Partitions of trees and \\({{\\text \\textsf{ACA}}^\\prime_{0}}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5551227"}},"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":"Q1016503$E9975274-B6CA-4091-933D-C7C7092BE529","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"512e0bc4a8a139cc7266503883a674e5acbebfc0","datavalue":{"value":{"text":"Partitions of trees and \\({{\\text \\textsf{ACA}}^\\prime_{0}}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1016503$5770419F-D936-4CDA-ACC8-F651DF310563","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f709efda42cde14551798a157117203c97e876e4","datavalue":{"value":"1172.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016503$EEAE933D-AA0B-43D9-996B-A01D18AEE1A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f882ad9304ea9c6f897a4fc7a545dec6ae8d0d14","datavalue":{"value":{"entity-type":"item","numeric-id":535149,"id":"Q535149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016503$EE61A307-C86F-43B5-8A01-9371727B1D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5122a321cfb515186c4448a4fbfba8604b1bf26","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016503$ABF32C97-825E-45C1-B16D-03744C1C6423","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":"Q1016503$3B6D91BA-200C-4410-BB56-B3721B9DB626","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d5ff1dc86e495b18ee5143b26eb302034c24729","datavalue":{"value":{"time":"+2009-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1016503$34B622A7-BC75-48BA-BF59-AD1253C09078","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3426252b6f409a0dd29b0385f9e413ecdf9ce086","datavalue":{"value":"https://arxiv.org/abs/0809.2267","type":"string"},"datatype":"url"},"type":"statement","id":"Q1016503$C0758647-0269-4DEA-A580-FC5959FFE5DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"abdb06f2e6c491994dc687e25f00c8a428b1647a","datavalue":{"value":"\\textit{J. Chubb, J. L. Hirst} and \\textit{T. H. McNicholl} [``Reverse mathematics, computability, and partitions of trees'', J. Symb. Log. 74, No. 1, 201--215 (2009; Zbl 1162.03009)] introduced a version of Ramsey's theorem for trees and proved that, for each standard exponent \\(n\\geq 3\\), the usual Ramsey's theorem for \\(n\\)-tuples is equivalent to the tree version. Here, the authors show that the universally quantified versions are also equivalent, and hence equivalent to \\(\\text{ACA}'_0\\), over \\(\\text{RCA}_0\\).   The tree version of Ramsey's theorem is formulated as follows. Given a set \\(S\\subseteq 2^{<\\mathbb{N}}\\), we let \\([S]^n\\) be the set of linearly ordered \\(n\\)-tuples of nodes from \\(S\\). The statement \\(\\text{TT}(n)\\) says that for every \\(k\\), and every coloring of \\([2^{<\\mathbb{N}}]^n\\) with \\(k\\) colors, there exists a subset \\(S\\subseteq 2^{<\\mathbb{N}}\\), isomorphic to \\(2^{<\\mathbb{N}}\\), such that \\([S]^n\\) is monochromatic. The universally quantified version, \\(\\forall n\\;\\text{TT}(n)\\), is the one that is shown to be equivalent to \\(\\text{ACA}'_0\\), over \\(\\text{RCA}_0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016503$6D83D253-5B9C-4090-915F-40C999CEDBE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016503$1F911B95-011A-4D17-9594-5C2E1D9C6510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016503$AE9C422B-D107-435F-B49F-BF7DFF6DCA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016503$BA76BFFA-E48C-4D9A-81B0-88B8FDF9BF19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"701fd4aa645e01b47ab41bd37a04d409ac494fab","datavalue":{"value":"5551227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016503$C1E267CD-E6E6-4B15-B1E6-DCC6C658B8B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016503$C37C142E-8C26-4168-ABF1-B2A83E86E794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24938459dbf20196734dcf6c3a35c8a8724abee","datavalue":{"value":"trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016503$EBBBC9A4-C513-4C59-B130-8F917B7E0D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016503$BD0425EA-7961-4B15-A532-0DC3ABCC7D8B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0a67f77b8c1da6e34278d8eb54be6e5a28a3dcd4","datavalue":{"value":{"entity-type":"item","numeric-id":453199,"id":"Q453199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016503$DE7797E4-63A6-4EC3-83CA-FAD701B55C83","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":"Q1016503$F4E6EF33-A6EB-49A4-A6FC-01536522CADF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91b43138ce296d352a3d6534635d02bb79083857","datavalue":{"value":"W1982258664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016503$60870868-3078-49AB-971B-55D5795AB972","rank":"normal"}],"P223":[{"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":"Q1016503$80DE169F-385D-4EC1-9309-B8CEC23E124B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d68be8cf3d8a6f66d42ab1d29da10c290510f8a","datavalue":{"value":{"entity-type":"item","numeric-id":1014283,"id":"Q1014283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016503$7AB19B53-65CF-48FD-A5CD-F19798CF171C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43e39da6413b4900316472ef3eb3724afe78dfe","datavalue":{"value":{"entity-type":"item","numeric-id":5437596,"id":"Q5437596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016503$A2333D79-1ABA-4467-8F36-384254728A24","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":"Q1016503$B91BF863-96B2-4787-9CCD-BB8060001552","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51117518ffe67275b62a9097edc88d5ae8f1750c","datavalue":{"value":"10.1007/S00153-009-0122-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016503$8C0990EF-E77C-47D3-8FFD-54A93C87904E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cb9f9b24cf3c71d878c1ed32d94fed2af2fb0ec","datavalue":{"value":{"entity-type":"item","numeric-id":4881837,"id":"Q4881837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf0f4d78dc681bf917a42b392f283c558b8c184","datavalue":{"value":{"amount":"+0.7998301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016503$0D2B0160-A4B8-4123-97A1-370192B68D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b76466805392a83a9eed17a0116aaf97761a72","datavalue":{"value":{"entity-type":"item","numeric-id":964459,"id":"Q964459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e33cce05e66f419aa69cb6b4a41b5b4e26094345","datavalue":{"value":{"amount":"+0.7916409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016503$2BB95481-9035-4B73-9B26-31C1C45C0EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c8460dae0d3d278f3b9304ad621e1b9293f1d4","datavalue":{"value":{"entity-type":"item","numeric-id":4928678,"id":"Q4928678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db49ccdbece1ff51947e02ea57c47b6c110e7ed","datavalue":{"value":{"amount":"+0.7822569","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016503$E75FE7F4-20FF-490A-9819-6F7D3432364D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0be791c16dbb5da53599a97925e4b09fcf8e37e","datavalue":{"value":{"entity-type":"item","numeric-id":1938883,"id":"Q1938883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063b38b5a4ee64e242cb337d5e072facc4fb6e53","datavalue":{"value":{"amount":"+0.7708461","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016503$A37CFAC5-82A6-4C22-942D-334B653A5C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"427452204c92cd0968945b6765354539eee3a230","datavalue":{"value":{"entity-type":"item","numeric-id":3616350,"id":"Q3616350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5b15d05d0fc643d8f4a6f06abdcb309c417d823","datavalue":{"value":{"amount":"+0.7658021","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016503$33FB9805-72EF-4A3D-8F2F-E69AFE6E9F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d55d164b4b3d5f480d55833ef74fd4898d0f2ce2","datavalue":{"value":{"entity-type":"item","numeric-id":6057486,"id":"Q6057486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"675e2db2fe4046953ee880407a9bf97da54b2bae","datavalue":{"value":{"amount":"+0.765139","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016503$48AA9D07-302A-4433-AF07-6776A6BAB061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c50c109cbc138441db98593f07e688ee4949c49","datavalue":{"value":{"entity-type":"item","numeric-id":3727991,"id":"Q3727991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6143e015fb2b614e09b5ebd9bb3d6d23937cc3e","datavalue":{"value":{"amount":"+0.7636133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016503$053FC619-75FD-4B8B-9FB0-929395D42719","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":"8d0374c99e9cba21cdabc7dc1b899684ea514fa6","datavalue":{"value":{"amount":"+0.7591351","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016503$A3486490-06F3-480F-97EC-04E71D364B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6266e14568f5b93002e3941c224528af11bdf4b2","datavalue":{"value":{"entity-type":"item","numeric-id":2678449,"id":"Q2678449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d6a6490ea24d0ad63abf7204991559f4a514b69","datavalue":{"value":{"amount":"+0.7550288","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016503$54786AF8-A3F8-4907-BCF0-3B419B210233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41560d521349d68fbe4e85863e1a60de1f779f3","datavalue":{"value":{"entity-type":"item","numeric-id":2368712,"id":"Q2368712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b2e06013a044ab0eb7f0663e58e69f1297e329a","datavalue":{"value":{"amount":"+0.7444829","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016503$6FA9B62C-FC9C-43F8-A076-4712F543B394","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1016503","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1016503"}}}}}