{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T11:30:21Z","timestamp":1777548621511,"version":"3.51.4"},"reference-count":19,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2021,8,1]]},"DOI":"10.1215\/00294527-2021-0024","type":"journal-article","created":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T20:36:35Z","timestamp":1633984595000},"source":"Crossref","is-referenced-by-count":4,"title":["Effectiveness for the Dual Ramsey Theorem"],"prefix":"10.1215","volume":"62","author":[{"given":"Damir","family":"Dzhafarov","sequence":"first","affiliation":[{"name":"Department of Mathematics, University of Connecticut, Storrs, Connecticut, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen","family":"Flood","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Bridgewater State University, Bridgewater, Massachusetts, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reed","family":"Solomon","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of Connecticut, Storrs, Connecticut, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linda","family":"Westrick","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Pennsylvania State University, University Park, Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","unstructured":"Ash, C. J., and J. Knight, <i>Computable Structures and the Hyperarithmetical Hierarchy<\/i>, vol. 144 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 2000."},{"key":"2","doi-asserted-by":"publisher","unstructured":"Astor, E. P., D. Dzhafarov, A. Montalb\u00e1n, R. Solomon, and L. B. Westrick, \u201cThe determined property of Baire in reverse math,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 85 (2020), pp. 166\u201398.","DOI":"10.1017\/jsl.2019.64"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Blass, A. R., J. L. Hirst, and S. G. Simpson, \u201cLogical analysis of some theorems of combinatorics and topological dynamics,\u201d pp. 125\u201356 in <i>Logic and Combinatorics (Arcata, CA, 1985)<\/i>, edited by S. G. Simpson, vol. 65 of <i>Contemporary Mathematics<\/i>, American Mathematical Society, Providence, 1987.","DOI":"10.1090\/conm\/065\/891245"},{"key":"4","doi-asserted-by":"publisher","unstructured":"Carlson, T. J., and S. G. Simpson, \u201cA dual form of Ramsey\u2019s theorem,\u201d <i>Advances in Mathematics<\/i>, vol. 53 (1984), pp. 265\u201390.","DOI":"10.1016\/0001-8708(84)90026-4"},{"key":"5","doi-asserted-by":"publisher","unstructured":"Chong, C. T., S. Lempp, and Y. Yang, \u201cOn the role of the collection principle for <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" overflow=\"scroll\" alttext=\"${\\Sigma _{2}^{0}}$\"><msubsup><mrow><mi mathvariant=\"normal\">\u03a3<\/mi><\/mrow><mrow><mn>2<\/mn><\/mrow><mrow><mn>0<\/mn><\/mrow><\/msubsup><\/math>-formulas in second-order reverse mathematics,\u201d <i>Proceedings of the American Mathematical Society<\/i>, vol. 138 (2010), pp. 1093\u2013100.","DOI":"10.1090\/S0002-9939-09-10115-6"},{"key":"6","doi-asserted-by":"publisher","unstructured":"Dzhafarov, D. D., \u201cStrong reductions between combinatorial principles,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 81 (2016), pp. 1405\u201331.","DOI":"10.1017\/jsl.2016.1"},{"key":"7","unstructured":"Erhard, J. C., \u201cThe Carlson\u2013Simpson lemma in reverse mathematics,\u201d Ph.D. dissertation, University of California, Berkeley, 2013."},{"key":"8","doi-asserted-by":"publisher","unstructured":"Greenberg, N., and A. Montalb\u00e1n, \u201cRanked structures and arithmetic transfinite recursion,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 360 (2008), pp. 1265\u2013307.","DOI":"10.1090\/S0002-9947-07-04285-7"},{"key":"9","doi-asserted-by":"publisher","unstructured":"Hirschfeldt, D. R., and C. G. Jockusch, Jr., \u201cOn notions of computability-theoretic reduction between <math xmlns=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" overflow=\"scroll\" alttext=\"${\\Pi _{2}^{1}}$\"><msubsup><mrow><mi>\u03a0<\/mi><\/mrow><mrow><mn>2<\/mn><\/mrow><mrow><mn>1<\/mn><\/mrow><\/msubsup><\/math> principles,\u201d <i>Journal of Mathematical Logic<\/i>, vol. 16 (2016), no. 1, art. ID 1650002.","DOI":"10.1142\/S0219061316500021"},{"key":"10","doi-asserted-by":"publisher","unstructured":"Jockusch, C. G., Jr., \u201cUniformly introreducible sets,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 33 (1968), pp. 521\u201336.","DOI":"10.2307\/2271359"},{"key":"11","doi-asserted-by":"publisher","unstructured":"Liu, L., B. Monin, and L. Patey, \u201cA computable analysis of variable words theorems,\u201d <i>Proceedings of the American Mathematical Society<\/i>, vol. 147 (2019), pp. 823\u201334.","DOI":"10.1090\/proc\/14269"},{"key":"12","doi-asserted-by":"publisher","unstructured":"Miller, J. S., and R. Solomon, \u201cEffectiveness for infinite variable words and the dual Ramsey theorem,\u201d <i>Archive for Mathematical Logic<\/i>, vol. 43 (2004), pp. 543\u201355.","DOI":"10.1007\/s00153-004-0216-4"},{"key":"13","unstructured":"Patey, L., personal communication, 2014."},{"key":"14","doi-asserted-by":"publisher","unstructured":"Pr\u00f6mel, H. J., and B. Voigt, \u201cBaire sets of <i>k<\/i>-parameter words are Ramsey,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 291 (1985), pp. 189\u2013201.","DOI":"10.2307\/1999903"},{"key":"15","unstructured":"Rogers, H., Jr., <i>Theory of Recursive Functions and Effective Computability<\/i>, 2nd edition, MIT Press, Cambridge, MA, 1987."},{"key":"16","doi-asserted-by":"publisher","unstructured":"Sacks, G. E., <i>Higher Recursion Theory<\/i>, <i>Perspectives in Mathematical Logic<\/i>, Springer, Berlin, 1990.","DOI":"10.1007\/BFb0086109"},{"key":"17","doi-asserted-by":"publisher","unstructured":"Simpson, S. G., <i>Subsystems of Second Order Arithmetic<\/i>, 2nd edition, <i>Perspectives in Logic<\/i>, Cambridge University Press, Cambridge 2009.","DOI":"10.1017\/CBO9780511581007"},{"key":"18","unstructured":"Slaman, T. A., \u201cA note on the dual Ramsey theorem,\u201d 4 pages, unpublished, 1997."},{"key":"19","doi-asserted-by":"publisher","unstructured":"Todorcevic, S., <i>Introduction to Ramsey Spaces<\/i>, vol. 174 of <i>Annals of Mathematics Studies<\/i>, Princeton University Press, Princeton, 2010.","DOI":"10.1515\/9781400835409"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2021-0024","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:00:32Z","timestamp":1706648432000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-62\/issue-3\/Effectiveness-for-the-Dual-Ramsey-Theorem\/10.1215\/00294527-2021-0024.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,1]]},"references-count":19,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2021,8,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2021-0024","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2021,8,1]]}}}