{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:24:25Z","timestamp":1725686665054},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642308697"},{"type":"electronic","value":"9783642308703"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30870-3_22","type":"book-chapter","created":{"date-parts":[[2012,5,28]],"date-time":"2012-05-28T02:56:12Z","timestamp":1338173772000},"page":"222-227","source":"Crossref","is-referenced-by-count":2,"title":["A Short Note on Spector\u2019s Proof of Consistency of Analysis"],"prefix":"10.1007","author":[{"given":"Fernando","family":"Ferreira","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","series-title":"Studies in Logic and the Foundations of Mathematics","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/S0049-237X(98)80020-7","volume-title":"Handbook of Proof Theory","author":"J. Avigad","year":"1998","unstructured":"Avigad, J., Feferman, S.: G\u00f6del\u2019s functional (\u201cDialectica\u201d) interpretation. In: Buss, S.R. (ed.) Handbook of Proof Theory. Studies in Logic and the Foundations of Mathematics, vol.\u00a0137, pp. 337\u2013405. North Holland, Amsterdam (1998)"},{"key":"22_CR2","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/BF01447860","volume":"93","author":"L.E.J. Brouwer","year":"1927","unstructured":"Brouwer, L.E.J.: \u00dcber Definitionsbereiche von funktionen. Mathematische Annalen\u00a093, 60\u201375 (1927); English translation in [13], pp. 457\u2013463","journal-title":"Mathematische Annalen"},{"key":"22_CR3","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1111\/j.1746-8361.2008.01134.x","volume":"62","author":"F. Ferreira","year":"2008","unstructured":"Ferreira, F.: A most artistic package of a jumble of ideas. Dialectica\u00a062, 205\u2013222 (2008); Special Issue: G\u00f6del\u2019s dialectica Interpretation. Guest editor: Thomas Strahm","journal-title":"Dialectica"},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1111\/j.1746-8361.1958.tb01464.x","volume":"12","author":"K. G\u00f6del","year":"1958","unstructured":"G\u00f6del, K.: \u00dcber eine bisher noch nicht ben\u00fctzte Erweiterung des finiten Standpunktes. Dialectica\u00a012, 280\u2013287 (1958); Reprinted with an English translation in [5], pp. 240\u2013251","journal-title":"Dialectica"},{"volume-title":"Collected Works","year":"1990","key":"22_CR5","unstructured":"G\u00f6del, K., Feferman, S., et al. (eds.): Collected Works, vol.\u00a0II. Oxford University Press, Oxford (1990)"},{"key":"22_CR6","first-page":"107","volume":"20","author":"W.A. Howard","year":"1968","unstructured":"Howard, W.A.: Functional interpretation of bar induction by bar recursion. Compositio Mathematica\u00a020, 107\u2013124 (1968)","journal-title":"Compositio Mathematica"},{"key":"22_CR7","series-title":"Springer Monographs in Mathematics","volume-title":"Applied Proof Theory: Proof Interpretations and their Use in Mathematics","author":"U. Kohlenbach","year":"2008","unstructured":"Kohlenbach, U.: Applied Proof Theory: Proof Interpretations and their Use in Mathematics. Springer Monographs in Mathematics. Springer, Berlin (2008)"},{"key":"22_CR8","first-page":"101","volume-title":"Constructivity in Mathematics","author":"G. Kreisel","year":"1959","unstructured":"Kreisel, G.: Interpretation of analysis by means of constructive functionals of finite types. In: Heyting, A. (ed.) Constructivity in Mathematics, pp. 101\u2013128. North Holland, Amsterdam (1959)"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/11780342_44","volume-title":"Logical Approaches to Computational Barriers","author":"P. Oliva","year":"2006","unstructured":"Oliva, P.: Understanding and Using Spector\u2019s Bar Recursive Interpretation of Classical Analysis. In: Beckmann, A., Berger, U., L\u00f6we, B., Tucker, J.V. (eds.) CiE 2006. LNCS, vol.\u00a03988, pp. 423\u2013434. Springer, Heidelberg (2006)"},{"key":"22_CR10","first-page":"1","volume-title":"Recursive Function Theory: Proceedings of Symposia in Pure Mathematics","author":"C. Spector","year":"1962","unstructured":"Spector, C.: Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles in current intuitionistic mathematics. In: Dekker, F.D.E. (ed.) Recursive Function Theory: Proceedings of Symposia in Pure Mathematics, vol.\u00a05, pp. 1\u201327. American Mathematical Society, Providence (1962)"},{"key":"22_CR11","series-title":"Lecture Notes in Mathematics","volume-title":"Metamathematical Investigation of Intuitionistic Arithmetic and Analysis","year":"1973","unstructured":"Troelstra, A.S. (ed.): Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. Lecture Notes in Mathematics, vol.\u00a0344. Springer, Berlin (1973)"},{"key":"22_CR12","unstructured":"van Atten, M.: On Brouwer. Wadsworth (2004)"},{"key":"22_CR13","unstructured":"van Heijenoort, J. (ed.): From Frege to G\u00f6del. Harvard University Press (1967)"},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"101","DOI":"10.2969\/jmsj\/01520101","volume":"15","author":"M. Yasugi","year":"1963","unstructured":"Yasugi, M.: Intuitionistic analysis and G\u00f6del\u2019s interpretation. Journal of the Mathematical Society of Japan\u00a015, 101\u2013112 (1963)","journal-title":"Journal of the Mathematical Society of Japan"}],"container-title":["Lecture Notes in Computer Science","How the World Computes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30870-3_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:32:22Z","timestamp":1620127942000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30870-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642308697","9783642308703"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30870-3_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}