{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T23:11:15Z","timestamp":1770505875967,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642390524","type":"print"},{"value":"9783642390531","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39053-1_20","type":"book-chapter","created":{"date-parts":[[2013,6,3]],"date-time":"2013-06-03T00:28:12Z","timestamp":1370219292000},"page":"171-180","source":"Crossref","is-referenced-by-count":3,"title":["A Note on the Sequential Version of ${\\rm \\Pi^1_2}$ Statements"],"prefix":"10.1007","author":[{"given":"Makoto","family":"Fujiwara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keita","family":"Yokoyama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Dorais, F.G.: Classical consequences of continuous choice principles from intuitionistic analysis. Notre Dame Journal to Formal Logic (to appear)"},{"key":"20_CR2","unstructured":"Dorais, F.G., Dzhafarov, D.D., Hirst, J.L., Mileti, J.R., Shafer, P.: On uniform relationships between combinatorial problems (to appear)"},{"issue":"13","key":"20_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4115\/jla.2012.4.13","volume":"4","author":"F.G. Dorais","year":"2012","unstructured":"Dorais, F.G., Hirst, J.L., Shafer, P.: Reverse mathematics, trichotomy, and dichotomy. Journal of Logic and Analysis\u00a04(13), 1\u201314 (2012)","journal-title":"Journal of Logic and Analysis"},{"key":"20_CR4","unstructured":"Hirst, J.R.: Combinatorics in Subsystems of Second Order Arithmetic. Ph.D. thesis, Pennsylvania State University (1987)"},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1090\/conm\/106\/1057822","volume":"106","author":"J.R. Hirst","year":"1990","unstructured":"Hirst, J.R.: Marriage theorems and reverse mathematics. Contemporary Mathematics\u00a0106, 181\u2013196 (1990)","journal-title":"Contemporary Mathematics"},{"issue":"4","key":"20_CR6","doi-asserted-by":"publisher","first-page":"303","DOI":"10.4064\/ba55-4-2","volume":"55","author":"J.R. Hirst","year":"2007","unstructured":"Hirst, J.R.: Representations of reals in reverse mathematics. Bull. Pol. Acad. Sci. Math.\u00a055(4), 303\u2013316 (2007)","journal-title":"Bull. Pol. Acad. Sci. Math."},{"issue":"2","key":"20_CR7","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1215\/00294527-1306163","volume":"52","author":"J.R. Hirst","year":"2011","unstructured":"Hirst, J.R., Mummert, C.: Reverse mathematics and uniformity in proofs without excluded middle. Notre Dome Journal to Formal Logic\u00a052(2), 149\u2013162 (2011)","journal-title":"Notre Dome Journal to Formal Logic"},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s00153-011-0256-5","volume":"51","author":"S. Sanders","year":"2012","unstructured":"Sanders, S., Yokoyama, K.: The Dirac delta function in two settings of Reverse Mathematics. Archive for Mathematical Logic\u00a051, 99\u2013121 (2012)","journal-title":"Archive for Mathematical Logic"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Simpson, S.G.: Association for Symbolic Logic. In: Subsystems of Second Order Arithmetic, 2nd edn. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511581007"}],"container-title":["Lecture Notes in Computer Science","The Nature of Computation. Logic, Algorithms, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39053-1_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T12:27:02Z","timestamp":1557750422000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39053-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390524","9783642390531"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39053-1_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}