{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:38Z","timestamp":1706649038418},"reference-count":14,"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-1716766","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":["Bounds on the Strength of Ordinal Definable Determinacy in Small Admissible Sets"],"prefix":"10.1215","volume":"53","author":[{"given":"Diego","family":"Rojas-Rebolledo","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Barwise, K. J., R. O. Gandy, and Y. N. Moschovakis, \u201cThe next admissible set,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 36 (1971), pp. 108\u2013120.","DOI":"10.2307\/2271519"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Barwise, K. J. <i>Admissible Sets and Structures<\/i>, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1975.","DOI":"10.1007\/978-3-662-11035-5"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Devlin, K. J., <i>Constructibility<\/i>, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1984.","DOI":"10.1007\/978-3-662-21723-8"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Harrington, L., \u201cAnalytic determinacy and $0^{\\#}$,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 43 (1978), pp. 685\u2013693.","DOI":"10.2307\/2273508"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Kechris, A. S., and R. M. Solovay, \u201cOn the relative consistency strength of determinacy hypothesis,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 290 (1985), pp. 179\u2013211.","DOI":"10.2307\/1999790"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Keisler, H. J., and Knight, F., \u201cBarwise: Infinitary logic and admissible sets,\u201d <i>Bulletin of Symbolic Logic<\/i>, vol. 10 (2004), pp. 4\u201336.","DOI":"10.2178\/bsl\/1080330272"},{"key":"7","unstructured":"[7] Lewis, A., \u201cLarge Dilatators and Large Cardinals; and Determinacy in Small Admissible Sets,\u201d Ph.D. dissertation, University of California, Berkeley, 1993."},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Martin, D. A., \u201cMeasurable cardinals and analytic games,\u201d <i>Fundamenta Mathematicae<\/i>, vol. 66 (1970), pp. 287\u2013291.","DOI":"10.4064\/fm-66-3-287-291"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Martin, D. A., and J. R. Steel, \u201cA proof of projective determinacy,\u201d <i>Journal of the American Mathematical Society<\/i>, vol. 2 (1989), pp. 71\u2013125.","DOI":"10.1090\/S0894-0347-1989-0955605-X"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Mitchell, W. J., \u201cSets constructible from sequences of ultrafilters,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 39 (1974), pp. 57\u201366.","DOI":"10.2307\/2272343"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] Neeman, I., \u201cUnraveling $\\Pi_{1}^{1}$ sets,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 106 (2000), pp. 151\u2013205.","DOI":"10.1016\/S0168-0072(00)00022-1"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Sacks, G. E., \u201cCountable admissible ordinals and hyperdegrees,\u201d <i>Advances in Mathematics<\/i>, vol. 20 (1976), pp. 213\u2013262.","DOI":"10.1016\/0001-8708(76)90187-0"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] Soare, R. I., <i>Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets<\/i>, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1987.","DOI":"10.1007\/978-3-662-02460-7"},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] Steel, J. R., \u201cDeterminacy in the Mitchell models,\u201d <i>Annals of Mathematical Logic<\/i>, vol. 22 (1982), pp. 109\u2013125.","DOI":"10.1016\/0003-4843(82)90017-1"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1716766","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\/Bounds-on-the-Strength-of-Ordinal-Definable-Determinacy-in-Small\/10.1215\/00294527-1716766.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":14,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2012,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1716766","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}