{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T07:18:03Z","timestamp":1777101483450,"version":"3.51.4"},"reference-count":11,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1995,10,1]]},"DOI":"10.1305\/ndjfl\/1040136917","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:22:31Z","timestamp":1046208151000},"source":"Crossref","is-referenced-by-count":78,"title":["On the Strength of Ramsey's Theorem"],"prefix":"10.1215","volume":"36","author":[{"given":"David","family":"Seetapun","sequence":"first","affiliation":[]},{"given":"Theodore A.","family":"Slaman","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"Brown, D. K., and S. G. Simpson, \u201cThe Baire category theorem in weak subsystems of second-order arithmetic,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 58 (1993), pp. 557\u2013578. Zbl 0794.03085 MR 94j:03118","DOI":"10.2307\/2275219"},{"key":"2","doi-asserted-by":"crossref","unstructured":"Friedberg, R. M., \u201cA criterion for completeness of degrees of unsolvability,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 22 (1957), pp. 159\u2013160. Zbl 0078.00602 MR 20:4488","DOI":"10.2307\/2964177"},{"key":"3","unstructured":"Friedman, H., \u201cSome systems of second order arithmetic and their use,\u201d pp. 235\u2013242 in <i>Proceedings of the International Congress of Mathematicians, Canada, 1974<\/i> vol. 1, Canadian Mathematical Congress, 1975. Zbl 0344.02022 MR 55:2521"},{"key":"4","doi-asserted-by":"crossref","unstructured":"Hummel, T. L., \u201cEffective versions of Ramsey's theorem: avoiding the cone above $\\mbox{\\bfseries{0}}'$,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 59 (1994), pp. 1301\u20131325. Zbl 0815.03028 MR 95j:03080","DOI":"10.2307\/2275707"},{"key":"5","doi-asserted-by":"crossref","unstructured":"Jockusch, Jr., C. G., \u201cRamsey's theorem and recursion theory,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 37 (1972), pp. 268\u2013280. Zbl 0262.02042 MR 51:12495","DOI":"10.2307\/2272972"},{"key":"6","doi-asserted-by":"crossref","unstructured":"Jockusch, Jr., C. G., and R. I. Soare, \u201c$\\Pi_1^0$ classes and degrees of theories,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 173 (1972), pp. 33\u201356. Zbl 0262.02041 MR 47:4775","DOI":"10.2307\/1996261"},{"key":"7","unstructured":"Kaye, R., \u201cConstructing $\\kappa$-like models of arithmetic,\u201d The University of Birmingham, preprint 94\/35, 1994a. Zbl 0865.03056 MR 97m:03069"},{"key":"8","unstructured":"Kaye, R., \u201cThe theory of $\\kappa$-like models of arithmetic,\u201d The University of Birmingham, preprint 94\/35, 1994b."},{"key":"9","doi-asserted-by":"crossref","unstructured":"Martin, D. A., \u201c Classes of recursively enumerable sets and degrees of unsolvability,\u201d <i>Zeitschrift f\u00fcr Mathematische Logik und Grundlangen der Mathematik<\/i>, vol. 12 (1966), pp. 295\u2013310. MR 37:68","DOI":"10.1002\/malq.19660120125"},{"key":"10","unstructured":"Mytilinaios, M. E., and T. A. Slaman, \u201cOn a question of Brown and Simpson,\u201d preprint, 1994. Zbl 0835.03026 MR 97i:03036"},{"key":"11","doi-asserted-by":"crossref","unstructured":"Scott, D., \u201cAlgebras of sets binumerable in complete extensions of arithmetic,\u201d <i>Recursive Function Theory<\/i>, # 5, pp. 117\u2013121 in <i>Proceedings of Symposia in Pure Mathematics<\/i>, American Mathematical Society, Providence, 1962. Zbl 0199.02601 MR 25:4993","DOI":"10.1090\/pspum\/005\/0141595"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040136917","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:39Z","timestamp":1706649159000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-36\/issue-4\/On-the-Strength-of-Ramseys-Theorem\/10.1305\/ndjfl\/1040136917.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,10,1]]},"references-count":11,"journal-issue":{"issue":"4","published-online":{"date-parts":[[1995,10,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040136917","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1995,10,1]]}}}