{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:36Z","timestamp":1706649036886},"reference-count":16,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2012,1,1]]},"DOI":"10.1215\/00294527-1716784","type":"journal-article","created":{"date-parts":[[2012,9,24]],"date-time":"2012-09-24T23:30:27Z","timestamp":1348529427000},"source":"Crossref","is-referenced-by-count":0,"title":["On the Indecomposability of \u03c9n"],"prefix":"10.1215","volume":"53","author":[{"given":"Jared R.","family":"Corduan","sequence":"first","affiliation":[]},{"given":"Fran\u00e7ois G.","family":"Dorais","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"3","unstructured":"[3] Dorais, F. G., \u201cA variant of Mathias forcing that preserves $\\mathsf{\\mbox{ACA}}_{0}$,\u201d preprint, <a href=\"arXiv:1110.6559v2\">arXiv:1110.6559v2<\/a> [math.LO]"},{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Cholak, P. A., C. G. Jockusch, and T. A. Slaman, \u201cOn the strength of Ramsey\u2019s theorem for pairs,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 66 (2001), pp. 1\u201355.","DOI":"10.2307\/2694910"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Chong, C. T., S. Lempp, and Y. Yang, \u201cOn the role of the collection principle for $\\Sigma^{0}_{2}$-formulas in second-order reverse mathematics,\u201d <i>Proceedings of the American Mathematical Society<\/i>, vol. 138 (2010), pp. 1093\u20131100.","DOI":"10.1090\/S0002-9939-09-10115-6"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Downey, R., D. R. Hirschfeldt, S. Lempp, and R. Solomon, \u201cA $\\Delta_{2}^{0}$ set with no infinite low subset in either it or its complement,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 66 (2001), pp. 1371\u20131381.","DOI":"10.2307\/2695113"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Dzhafarov, D. D., and J. L. Hirst, \u201cThe polarized Ramsey\u2019s theorem,\u201d <i>Archive for Mathematical Logic<\/i>, vol. 48 (2009), pp. 141\u2013157.","DOI":"10.1007\/s00153-008-0108-0"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Dzhafarov, D. D., and C. G. Jockusch, \u201cRamsey\u2019s theorem and cone avoidance,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 74 (2009), pp. 557\u2013578.","DOI":"10.2178\/jsl\/1243948327"},{"key":"7","unstructured":"[7] Fra\u00efss\u00e9, R., <i>Theory of Relations<\/i>, revised edition, with an appendix by N. Sauer, vol. 145 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland Publishing Co., Amsterdam, 2000."},{"key":"8","unstructured":"[8] H\u00e1jek, P., and P. Pudl\u00e1k, <i>Metamathematics of First-Order Arithmetic<\/i>, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1998."},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Hirschfeldt, D. R., and R. A. Shore, \u201cCombinatorial principles weaker than Ramsey\u2019s theorem for pairs,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 72 (2007), pp. 171\u2013206.","DOI":"10.2178\/jsl\/1174668391"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Hirst, J. L., \u201cReverse mathematics and ordinal exponentiation,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 66 (1994), pp. 1\u201318.","DOI":"10.1016\/0168-0072(94)90076-0"},{"key":"11","unstructured":"[11] Hirst, J. L., \u201cCombinatorics in subsystems of second order arithmetic,\u201d Ph.D. dissertation, The Pennsylvania State University, ProQuest LLC, Ann Arbor, 1987."},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Jockusch, C., and F. Stephan, \u201cA cohesive set which is not high,\u201d <i>Mathematical Logic Quarterly<\/i>, vol. 39 (1993), pp. 515\u2013530.","DOI":"10.1002\/malq.19930390153"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] Kohlenbach, U., \u201cHigher order reverse mathematics,\u201d pp. 281\u2013295 in <i>Reverse Mathematics 2001<\/i>, vol. 21 of <i>Lecture Notes in Logic<\/i>, Association for Symbolic Logic, La Jolla, California, 2005.","DOI":"10.1017\/9781316755846.018"},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] Seetapun, D., and T. A. Slaman, \u201cOn the strength of Ramsey\u2019s theorem,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 36 (1995), pp. 570\u2013582.","DOI":"10.1305\/ndjfl\/1040136917"},{"key":"15","unstructured":"[15] Simpson, S. G., <i>Subsystems of Second Order Arithmetic<\/i>, 2nd edition, Perspectives in Logic, Cambridge University Press, Cambridge, 2009."},{"key":"16","unstructured":"[16] \u0160vejdar, V., \u201cThe limit lemma in fragments of arithmetic,\u201d <i>Commentationes Mathematicae Universitatis Carolinae<\/i>, vol. 44 (2003), pp. 565\u2013568."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1716784","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:53Z","timestamp":1706648273000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-53\/issue-3\/On-the-Indecomposability-of-%cf%89n\/10.1215\/00294527-1716784.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":16,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2012,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1716784","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}