{"entities":{"Q2075273":{"pageid":2086015,"ns":120,"title":"Item:Q2075273","lastrevid":54223733,"modified":"2026-01-26T12:11:37Z","type":"item","id":"Q2075273","labels":{"en":{"language":"en","value":"Effectiveness for the dual Ramsey theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7473054"}},"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":"Q2075273$981CAE7F-A113-4FAF-811D-30E135F2AFF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69e0bd8c99051e9bd82a598fa3c8f36c420ae138","datavalue":{"value":{"text":"Effectiveness for the dual Ramsey theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2075273$29223DFD-EE34-4547-96BA-B64A01BA6F52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"177380f9ad278059879d2bcd2ba42275a8d3caaf","datavalue":{"value":"10.1215/00294527-2021-0024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075273$A5CFC2C4-5404-471B-8DA8-09DB121AB3E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075273$CA701AFB-CFE7-4119-9479-C4AB7B0C5F07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44a4e856a85631fb651bf9ad5803d8b27e9b05d7","datavalue":{"value":{"time":"+2022-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2075273$B0B5A651-30B4-45A6-B124-0F102FF14E7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d4b8a09fd71d274b4ac83ab30d17fbe351dfe78","datavalue":{"value":"https://arxiv.org/abs/1710.00070","type":"string"},"datatype":"url"},"type":"statement","id":"Q2075273$76E4E8E6-6F08-459B-AD8B-A7D23EFBEF67","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"54c6f7f5bafb6001f99a3448915cf69d01eafc42","datavalue":{"value":"This paper is a contribution to the reverse mathematics of the dual Ramsey theorem (DRT). While in the standard Ramsey theorem the \\(k\\)-element subsets of \\(\\omega\\) are colored, which correspond to injective functions of type \\(k \\to \\omega\\), in DRT surjective functions of type \\(\\omega \\to k\\) are colored. DRT was first proved for Borel colorings by \\textit{T. J. Carlson} and \\textit{S. G. Simpson} [Adv. Math. 53, 265--290 (1984; Zbl 0564.05005)] and it was extended to colorings with the Baire property by \\textit{H. J. Pr\u00f6mel} and \\textit{B. Voigt} [Trans. Am. Math. Soc. 291, 189--201 (1985; Zbl 0577.05008)].  In the Introduction, the authors discuss the two variants of DRT studied in their work: the Borel dual Ramsey theorem (Borel-DRT) and the Baire dual Ramsey theorem (Baire-DRT). The authors provide information on previous work in the literature and they include several implications over RCA\\(_0\\) between variants of DRT considered in their paper and some related principles. They also give an overview of their results.  In Section 2, the notation used throughout their paper is fixed.  In Section 3, a purely combinatorial version of DRT (CDRT\\(^k_l\\)), which precisely captures the strength of Baire-DRT, is given. Hindman's theorem for \\(l\\)-colorings is shown to imply CDRT\\(^3_l\\) and the Carlson-Simpson lemma CSL\\((m, l)\\) is shown to be a special case of CDRT\\(^{m+1}_l\\). Moreover, a proof of CDRT\\(^k_l\\), for every \\(l\\) and \\(k \\geq 2\\), is given.  In Section 4, Borel-DRT for \\(k \\geq 3\\) is studied from the perspective of effective mathematics.  In Section 5, Borel-DRT for \\(k = 2\\) is studied. Moreover, problems motivated by the reverse mathematics of Borel-DRT\\(^2_2\\) are considered. Specifically, Borel-DRT\\(^2_2\\) is considered as an instance-solution problem.  In Section 6, it is shown that over ATR\\(_0\\) Borel-DRT\\(^k_l\\) and Baire-DRT\\(^k_l\\) are equivalent. It is also shown that over ACA\\(_0\\) the statement ``every trivial Borel code has an evaluation map'' implies ATR\\(_0\\).  In Section 7, four related open questions are listed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2075273$A054C7F5-27E3-4AB1-9F5F-1244687739AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075273$34E3A078-B541-4977-81A6-2931EC3621FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075273$3008399D-994C-4674-AC2A-5E04CCAD8D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8afe3c5a9fa0449dca60371c176beebeb6e1d999","datavalue":{"value":"05C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075273$A55860D2-EB98-47AA-9208-6F3A3BE436C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075273$D376BD28-9D6C-447B-AA4F-E31F473FBA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075273$F8433A72-28C7-4EA7-A9D5-6D47865AFA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075273$5EEA7568-3875-4FF2-AD38-7F85B6AE4744","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6a7f08c3e72e4fcbeafce84e740b67b1c565689","datavalue":{"value":"7473054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075273$B42DD028-7CD4-45CB-8609-164C727535DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"332cf11b43515a7432c6b901f73f41c0c66caba9","datavalue":{"value":"computable combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2075273$46FF39AB-AF93-4D17-A7E1-DED0A31ABB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10fef2f12b2c979255c5cd7432c2bb22a5f2b0f8","datavalue":{"value":"dual Ramsey theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2075273$7A3D8BE9-B0FE-415D-AD63-2AEFBA4EE1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2075273$7269931B-64D4-41D3-974E-2C6F6DE5623D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df47b160552dc894c1aa471ca705195c5906bca7","datavalue":{"value":{"entity-type":"item","numeric-id":375887,"id":"Q375887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075273$83AC51AA-5C08-4749-8856-D40C86DA6114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01eb27d6b630fc0b68e3ff3cdba73afb678864f7","datavalue":{"value":{"entity-type":"item","numeric-id":508829,"id":"Q508829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075273$65A519E9-A0AE-4BBA-9E15-1F437A692A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22619fa0bcfede8dabe102ce78dd2250f3353f67","datavalue":{"value":{"entity-type":"item","numeric-id":218974,"id":"Q218974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075273$6AB2079B-D3E5-4221-B0EA-714AA2E13B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5065c86847ed4fbc57249485872b478df70ba5d","datavalue":{"value":{"entity-type":"item","numeric-id":1680549,"id":"Q1680549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075273$4EF56CFD-CE1F-4EB0-9EC2-CC11C3E70018","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":"Q2075273$C1FF2170-DC57-43EE-80B3-9E44D3B59332","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10c5b0bd05ac099ba8cd34582dcb4f27d69a4b32","datavalue":{"value":"W3207152999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2075273$69E3CE61-B3F7-4B37-9CB6-A0F8EDF31C22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4536c763145bafc953ff8d1e052ba993634142","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075273$9B177011-3668-45F5-AADF-BCD5DC25895A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccfcf4f2b4106702f607d54919293c3ebba5c249","datavalue":{"value":{"entity-type":"item","numeric-id":5107225,"id":"Q5107225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075273$AFE176CF-7CE7-49B5-8830-258947217546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ba3ec1a052b9e89178dda950c60e38dfa0948","datavalue":{"value":{"entity-type":"item","numeric-id":3797180,"id":"Q3797180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075273$3CA4FEA0-7C0B-430D-AA2F-0214B5B8DE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b269b5fce98a926189a052caa254851e102354f8","datavalue":{"value":{"entity-type":"item","numeric-id":1057862,"id":"Q1057862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075273$E703983F-26FD-4FAF-A3C4-D2DDC0E1E571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98141c0b7bac404be991952cad15029858b4f57","datavalue":{"value":{"entity-type":"item","numeric-id":3550582,"id":"Q3550582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075273$D7B63BBB-48C4-43A0-BD0F-37974626C8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6766101a18afa97939c3aef4538a06b18c58606","datavalue":{"value":{"entity-type":"item","numeric-id":2976339,"id":"Q2976339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075273$8778FFA9-3BB1-47E1-A92A-539638E78874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b9afe7d37e885e965d011f644245d23e4d29077","datavalue":{"value":{"entity-type":"item","numeric-id":5437595,"id":"Q5437595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075273$8756F55A-013E-41A1-B7C9-C80E00265128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c37ae4ea7122cb7fa2c62942e3cb2b4db3687ccc","datavalue":{"value":{"entity-type":"item","numeric-id":3186057,"id":"Q3186057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075273$24098D71-FDAF-4E3F-8163-4680C829B87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1426762377715ccec104f47d5406e4a840d54bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5549803,"id":"Q5549803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075273$72200150-78BA-48AC-9F6E-5FE052900328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1400aa8454e35676f3b534e045b678dce7ff4196","datavalue":{"value":{"entity-type":"item","numeric-id":4644466,"id":"Q4644466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075273$89E1EE6E-0C2A-47C8-A940-CFBB46B1A554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e818aba38da32ef3bb78503964645595d7d56548","datavalue":{"value":{"entity-type":"item","numeric-id":701747,"id":"Q701747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075273$9B547911-9ACB-421D-9DBB-5C9865420192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e6d1a89a982c0adc362e605b70c8a97c773e92","datavalue":{"value":{"entity-type":"item","numeric-id":3698804,"id":"Q3698804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075273$A8CC7460-130C-4120-B74A-1A1DF99027BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075273$497B05D7-2805-48A3-9942-B7BE8E492FE0","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":"Q2075273$98B04CB3-CBC3-4557-99F5-E96951534D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc287ec8a6e146c3e57a73c560da2d9b4de9d84","datavalue":{"value":{"entity-type":"item","numeric-id":3579526,"id":"Q3579526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2075273$6FF0C3A7-AE15-4784-A633-F2E3FF7774E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"200e44b5f15ce3aba16f133eca9de05919935cdc","datavalue":{"value":{"entity-type":"item","numeric-id":3691656,"id":"Q3691656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31a9469c7b1c87ceb192f165c0d2fa2acd86d0b3","datavalue":{"value":{"amount":"+0.8047468662261963","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":"Q2075273$D72AB0B8-78F0-42AD-B8ED-F420F2AD4FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa228b520b2b7cacace7d86c24cfe30c19bbf4b","datavalue":{"value":{"entity-type":"item","numeric-id":701747,"id":"Q701747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa0900fe3d34ae24c44ba10a78b6b13444458f1","datavalue":{"value":{"amount":"+0.8022900819778442","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":"Q2075273$7DEA8EC6-E661-41DB-9D3C-D77E0AF4C86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c6426c1ec0a2783c90e1ff891dd3c05bdb89d2","datavalue":{"value":{"entity-type":"item","numeric-id":1057862,"id":"Q1057862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21bb95b4760f2f7e92af82a78f209cdecbd10cc3","datavalue":{"value":{"amount":"+0.797584593296051","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":"Q2075273$FB91BEEF-1E48-416A-B018-9F7DA5EA3F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"906149f1516822330002e2a251afeb9f9791da2c","datavalue":{"value":{"entity-type":"item","numeric-id":4600456,"id":"Q4600456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4243001b2323740f34159b97e779c627617d7f5f","datavalue":{"value":{"amount":"+0.7886027693748474","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":"Q2075273$547ACAB2-4403-4392-A267-2C915173952E","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":"1b90aa72d97a4861551192c4288c2b841647e6fa","datavalue":{"value":{"amount":"+0.7845450639724731","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":"Q2075273$38738A77-693E-4AB3-A5DB-3388D9EE9C4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2075273","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2075273"}}}}}