{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T22:53:55Z","timestamp":1773096835936,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540228493","type":"print"},{"value":"9783540278368","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27836-8_98","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T22:53:21Z","timestamp":1284591201000},"page":"1188-1200","source":"Crossref","is-referenced-by-count":11,"title":["A Calibration of Ineffective Theorems of Analysis in a Hierarchy of Semi-classical Logical Principles"],"prefix":"10.1007","author":[{"given":"Michael","family":"Toftdal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"98_CR1","doi-asserted-by":"crossref","unstructured":"Akama, Y., Berardi, S., Hayashi, S., Kohlenbach, U.: An arithmetical hierachy of the laws of excluded middle and related principles. In: Proc. of the 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004 (2004) (to appear)","DOI":"10.1109\/LICS.2004.1319613"},{"key":"98_CR2","volume-title":"Foundations of constructive analysis","author":"E. Bishop","year":"1967","unstructured":"Bishop, E.: Foundations of constructive analysis. McGraw-Hill Book Co., New York (1967)"},{"issue":"3","key":"98_CR3","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1112\/S0024609399006736","volume":"32","author":"D.S. Bridges","year":"2000","unstructured":"Bridges, D.S.: A constructive look at functions of bounded variation. Bull. London Math. Soc.\u00a032(3), 316\u2013324 (2000)","journal-title":"Bull. London Math. Soc."},{"key":"98_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/3-540-45842-5_9","volume-title":"Types for Proofs and Programs","author":"S. Hayashi","year":"2002","unstructured":"Hayashi, S., Nakata, M.: Towards limit computable mathematics. In: Callaghan, P., Luo, Z., McKinna, J., Pollack, R. (eds.) TYPES 2000. LNCS, vol.\u00a02277, pp. 125\u2013144. Springer, Heidelberg (2002)"},{"issue":"3","key":"98_CR5","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1002\/malq.19900360307","volume":"36","author":"H. Ishihara","year":"1990","unstructured":"Ishihara, H.: An omniscience principle, the K\u00f6nig lemma and the Hahn-Banach theorem. Z. Math. Logik Grundlag. Math.\u00a036(3), 237\u2013240 (1990)","journal-title":"Z. Math. Logik Grundlag. Math."},{"key":"98_CR6","unstructured":"Ishihara, H.: Informal Constructive Reverse Mathematics. Research Report Series 229, Centre for Discrete Mathematics and Theoretical Computer Science (2004)"},{"issue":"1","key":"98_CR7","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0168-0072(93)90213-W","volume":"64","author":"U. Kohlenbach","year":"1993","unstructured":"Kohlenbach, U.: Effective moduli from ineffective uniqueness proofs. An unwinding of de la Vall\u00e9e Poussin\u2019s proof for Chebycheff approximation. Ann. Pure Appl. Logic\u00a064(1), 27\u201394 (1993)","journal-title":"An unwinding of de la Vall\u00e9e Poussin\u2019s proof for Chebycheff approximation. Ann. Pure Appl. Logic"},{"issue":"4","key":"98_CR8","doi-asserted-by":"publisher","first-page":"1218","DOI":"10.2307\/2586648","volume":"63","author":"U. Kohlenbach","year":"1998","unstructured":"Kohlenbach, U.: Relative constructivity. J. Symbolic Logic\u00a063(4), 1218\u20131238 (1998)","journal-title":"J. Symbolic Logic"},{"issue":"3","key":"98_CR9","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/S0168-0072(99)00036-6","volume":"102","author":"U. Kohlenbach","year":"2000","unstructured":"Kohlenbach, U.: Things that can and things that can\u2019t be done in PRA. Annals of Pure and Applied Logic\u00a0102(3), 223\u2013245 (2000)","journal-title":"Annals of Pure and Applied Logic"},{"key":"98_CR10","doi-asserted-by":"crossref","unstructured":"Mandelkern, M.: Constructive continuity. Mem. Amer. Math. Soc.\u00a042(277) (1983)","DOI":"10.1090\/memo\/0277"},{"issue":"4","key":"98_CR11","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1112\/blms\/20.4.319","volume":"20","author":"M. Mandelkern","year":"1988","unstructured":"Mandelkern, M.: Limited omniscience and the Bolzano-Weierstrass principle. Bull. London Math. Soc.\u00a020(4), 319\u2013320 (1988)","journal-title":"Bull. London Math. Soc."},{"key":"98_CR12","series-title":"Perspectives in Mathematical Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-21717-7","volume-title":"Computability in analysis and physics","author":"M.B. Pour-El","year":"1989","unstructured":"Pour-El, M.B., Richards, J.I.: Computability in analysis and physics. Perspectives in Mathematical Logic. Springer, Berlin (1989)"},{"issue":"1","key":"98_CR13","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1002\/1521-3870(200201)48:1<111::AID-MALQ111>3.0.CO;2-6","volume":"48","author":"F. Richman","year":"2002","unstructured":"Richman, F.: Omniscience principles and functions of bounded variation. MLQ Math. Log. Q.\u00a048(1), 111\u2013116 (2002)","journal-title":"MLQ Math. Log. Q."},{"key":"#cr-split#-98_CR14.1","unstructured":"Shoenfield, J.R.: Recursion theory, Urbana, IL. Lecture Notes in Logic. Association for Symbolic Logic, vol.??1 (2001);"},{"key":"#cr-split#-98_CR14.2","unstructured":"Reprint of the 1993 original"},{"key":"98_CR15","series-title":"Perspectives in Mathematical Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59971-2","volume-title":"Subsystems of second order arithmetic","author":"S.G. Simpson","year":"1999","unstructured":"Simpson, S.G.: Subsystems of second order arithmetic. Perspectives in Mathematical Logic. Springer, Berlin (1999)"},{"key":"98_CR16","series-title":"Studies in Logic and the Foundations of Mathematics","first-page":"254","volume-title":"Constructivity in mathematics: Proceedings of the colloquium","author":"E. Specker","year":"1959","unstructured":"Specker, E.: Der Satz vom Maximum in der rekursiven Analysis. In: Heyting, A. (ed.) Constructivity in mathematics: Proceedings of the colloquium, Amsterdam, 1957. Studies in Logic and the Foundations of Mathematics, pp. 254\u2013265. North-Holland Publishing Co., Amsterdam (1959)"},{"key":"98_CR17","unstructured":"Toftdal, M.: Calibration of ineffective theorems of analysis in a constructive context. Master\u2019s thesis, Department of Computer Science, University of Aarhus (May 2004)"},{"key":"98_CR18","volume-title":"Metamathematical investigation of intuitionistic arithmetic and analysis","year":"1973","unstructured":"Troelstra, A.S. (ed.): Metamathematical investigation of intuitionistic arithmetic and analysis. Springer, Berlin (1973)"},{"key":"98_CR19","series-title":"Studies in Logic and the Foundations of Mathematics","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(09)70523-3","volume-title":"Constructivism in mathematics","author":"A.S. Troelstra","year":"1988","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in mathematics. Studies in Logic and the Foundations of Mathematics, vol.\u00a0121. North-Holland Publishing Co., Amsterdam (1988)"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27836-8_98.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:31:12Z","timestamp":1620012672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27836-8_98"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540228493","9783540278368"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27836-8_98","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}