{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T00:12:55Z","timestamp":1770509575581,"version":"3.49.0"},"reference-count":10,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2014,1,1]]},"DOI":"10.1215\/00294527-2377860","type":"journal-article","created":{"date-parts":[[2014,1,20]],"date-time":"2014-01-20T19:34:00Z","timestamp":1390246440000},"source":"Crossref","is-referenced-by-count":15,"title":["Classical Consequences of Continuous Choice Principles from Intuitionistic Analysis"],"prefix":"10.1215","volume":"55","author":[{"given":"Fran\u00e7ois G.","family":"Dorais","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","unstructured":"[1] Brouwer, L. E. J., \u201c\u00dcber Definitionsbereiche von-Funktionen,\u201d <i>Mathematische Annalen<\/i>, vol. 97 (1927), pp. 60\u201375. English translation in J. van Heijenoort, <i>From Frege to G\u00f6del: A Source Book in Mathematical Logic, 1879\u20131931<\/i>, Harvard University Press, Cambridge, Mass., 1967, pp. 446\u201363."},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Dorais, F. G., J. L. Hirst, and P. Shafer, \u201cReverse mathematics, trichotomy and dichotomy,\u201d <i>Journal of Logic and Analysis<\/i>, vol. 4 (2012), no. 13.","DOI":"10.4115\/jla.2012.4.13"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Hirst J. L., \u201cRepresentations of reals in reverse mathematics,\u201d <i>Bulletin of the Polish Academy of Sciences, Mathematics<\/i>, vol. 55 (2007), pp. 303\u201316.","DOI":"10.4064\/ba55-4-2"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Hirst, J. L., and C. Mummert, \u201cReverse mathematics and uniformity in proofs without excluded middle,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 52 (2011), pp. 149\u201362.","DOI":"10.1215\/00294527-1306163"},{"key":"5","unstructured":"[5] Kleene, S. C., and R. E. Vesley, <i>The Foundations of Intuitionistic Mathematics, Especially in Relation to Recursive Functions<\/i>, North-Holland, Amsterdam, 1965."},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Kohlenbach, U., \u201cHigher order reverse mathematics,\u201d pp. 281\u201395 in <i>Reverse Mathematics 2001<\/i>, vol. 21 of <i>Lecture Notes in Logic<\/i>, Association for Symbolic Logic, La Jolla, Calif., 2005.","DOI":"10.1017\/9781316755846.018"},{"key":"7","unstructured":"[7] Kohlenbach, U., <i>Applied Proof Theory: Proof Interpretations and Their Use in Mathematics<\/i>, Springer Monographs in Mathematics, Springer, Berlin, 2008."},{"key":"8","unstructured":"[8] Simpson, S. G., <i>Subsystems of Second Order Arithmetic<\/i>, 2nd edition, Perspectives in Logic, Cambridge University Press, Cambridge; Association for Symbolic Logic, Poughkeepsie, N.Y., 2009."},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] Troelstra, A. S., ed., <i>Metamathematical Investigation of Intuitionistic Arithmetic and Analysis<\/i>, vol. 344 of <i>Lecture Notes in Mathematics<\/i>, Springer, Berlin, 1973.","DOI":"10.1007\/BFb0066739"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] van Oosten, J., \u201cLifschitz\u2019 realizability,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 55 (1990), pp. 805\u201321.","DOI":"10.2307\/2274666"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2377860","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:58:13Z","timestamp":1706648293000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-55\/issue-1\/Classical-Consequences-of-Continuous-Choice-Principles-from-Intuitionistic-Analysis\/10.1215\/00294527-2377860.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,1]]},"references-count":10,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2014,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2377860","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2014,1,1]]}}}