{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T00:32:37Z","timestamp":1770510757303,"version":"3.49.0"},"reference-count":14,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2011,4,1]]},"DOI":"10.1215\/00294527-1306163","type":"journal-article","created":{"date-parts":[[2011,4,28]],"date-time":"2011-04-28T13:02:18Z","timestamp":1303995738000},"source":"Crossref","is-referenced-by-count":15,"title":["Reverse Mathematics and Uniformity in Proofs without Excluded Middle"],"prefix":"10.1215","volume":"52","author":[{"given":"Jeffry L.","family":"Hirst","sequence":"first","affiliation":[]},{"given":"Carl","family":"Mummert","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Avigad, J., and S. Feferman, \"G\u00f6del's functional (`Dialectica') interpretation\", pp. 337\u2013405 in <i>Handbook of Proof Theory<\/i>, vol. 137 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1998.","DOI":"10.1016\/S0049-237X(98)80020-7"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Feferman, S., <i>Theories of Finite Type Related to Mathematical Practice<\/i>, vol. 90 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland Publishing Co., Amsterdam, 1977.","DOI":"10.1016\/S0049-237X(08)71126-1"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Halmos, P. R., <i>Finite-Dimensional Vector Spaces<\/i>, 2d edition, Undergraduate Texts in Mathematics, Springer-Verlag, New York, 1974.","DOI":"10.1007\/978-1-4612-6387-6"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Hirst, J. L., \"Representations of reals in reverse mathematics\", <i>Bulletin of the Polish Academy of Sciences. Mathematics<\/i>, vol. 55 (2007), pp. 303\u201316.","DOI":"10.4064\/ba55-4-2"},{"key":"5","unstructured":"[5] Kleene, S. C., \"Countable functionals\", pp. 81\u2013100 in <i>Constructivity in Mathematics: Proceedings of the Colloquium Held at Amsterdam, 1957<\/i>, edited by A Heyting, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1959."},{"key":"6","unstructured":"[6] Kohlenbach, U., <i>Applied Proof Theory: Proof Interpretations and Their Use in Mathematics<\/i>, Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2008."},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Kohlenbach, U., \"A note on Goodman's theorem\", <i>Studia Logica<\/i>, vol. 63 (1999), pp. 1\u20135.","DOI":"10.1023\/A:1005278215757"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Kohlenbach, U., \"Higher-order reverse mathematics\", pp. 281\u201395 in <i>Reverse Mathematics 2001<\/i>, edited by S. Simpson, vol. 21 of <i>Lecture Notes in Logic<\/i>, Association for Symbolic Logic, La Jolla, 2005.","DOI":"10.1017\/9781316755846.018"},{"key":"9","unstructured":"[9] Kreisel, G., \"Interpretation of analysis by means of constructive functionals of finite types\", pp. 101\u201328 in <i>Constructivity in Mathematics: Proceedings of the Colloquium Held at Amsterdam, 1957<\/i>, edited by A. Heyting, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1959."},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Lempp, S., and C. Mummert, \"Filters on computable posets\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 47 (2006), pp. 479\u201385.","DOI":"10.1305\/ndjfl\/1168352662"},{"key":"12","unstructured":"[12] Simpson, S. G., <i>Subsystems of Second Order Arithmetic<\/i>, 2d edition, Perspectives in Logic, Cambridge University Press, Cambridge, 2009."},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] Troelstra, A. S., <i>Metamathematical Investigation of Intuitionistic Arithmetic and Analysis<\/i>, vol. 344 of <i>Lecture Notes in Mathematics<\/i>, Springer-Verlag, Berlin, 1973.","DOI":"10.1007\/BFb0066739"},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] Troelstra, A. S., \"Realizability\", pp. 407\u201373 in <i>Handbook of Proof Theory<\/i>, edited by S. R. Buss, vol. 137 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1998.","DOI":"10.1016\/S0049-237X(98)80021-9"},{"key":"11","unstructured":"[11] Mummert, C., <i>On the Reverse Mathematics of General Topology<\/i>, Ph.D. thesis, The Pennsylvania State University, University Park, 2005."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1306163","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:38Z","timestamp":1706648258000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-52\/issue-2\/Reverse-Mathematics-and-Uniformity-in-Proofs-without-Excluded-Middle\/10.1215\/00294527-1306163.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4,1]]},"references-count":14,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2011,4,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1306163","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2011,4,1]]}}}