{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:46:29Z","timestamp":1742985989897,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319200279"},{"type":"electronic","value":"9783319200286"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-20028-6_2","type":"book-chapter","created":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T10:07:37Z","timestamp":1434708457000},"page":"13-22","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Error and Predicativity"],"prefix":"10.1007","author":[{"given":"Laura","family":"Crosilla","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,20]]},"reference":[{"key":"2_CR1","volume-title":"Iterated Inductive Definitions and Subsystems of Analysis","author":"W Buchholz","year":"1981","unstructured":"Buchholz, W., Feferman, S., Pohlers, W., Sieg, W.: Iterated Inductive Definitions and Subsystems of Analysis. Springer, Berlin (1981)"},{"key":"2_CR2","series-title":"Studies in Proof Theory Lecture Notes","volume-title":"Bounded Arithmetic","author":"S Buss","year":"1981","unstructured":"Buss, S.: Bounded Arithmetic. Studies in Proof Theory Lecture Notes. Bibliopolis, Naples (1981)"},{"key":"2_CR3","first-page":"5","volume-title":"The Handbook of the History of Logic","author":"A Cantini","year":"2009","unstructured":"Cantini, A.: Paradoxes, self-reference and truth in the 20th century. In: Gabbay, D. (ed.) The Handbook of the History of Logic, pp. 5\u2013875. Elsevier, UK (2009)"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2269764","volume":"29","author":"S Feferman","year":"1964","unstructured":"Feferman, S.: Systems of predicative analysis. J. Symb. Log. 29, 1\u201330 (1964)","journal-title":"J. Symb. Log."},{"unstructured":"Feferman, S.: Weyl vindicated: Das Kontinuum seventy years later. In: Temi e prospettive della logica e della scienza contemporanee, pp. 59\u201393 (1988)","key":"2_CR5"},{"key":"2_CR6","volume-title":"Handbook of the Philosophy of Mathematics and Logic","author":"S Feferman","year":"2005","unstructured":"Feferman, S.: Predicativity. In: Shapiro, S. (ed.) Handbook of the Philosophy of Mathematics and Logic. Oxford University Press, Oxford (2005)"},{"issue":"1\u20133","key":"2_CR7","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/S0168-0072(00)00008-7","volume":"104","author":"S Feferman","year":"2000","unstructured":"Feferman, S., Strahm, T.: The unfolding of non-finitist arithmetic. Ann. Pure Appl. Log. 104(1\u20133), 75\u201396 (2000)","journal-title":"Ann. Pure Appl. Log."},{"unstructured":"Girard, J.Y.: Interpr\u00e9tation fonctionnelle et \u00e9limination des coupures de l\u2019arithmetique d\u2019ordre sup\u00e9rieur (1972)","key":"2_CR8"},{"key":"2_CR9","series-title":"Association of Symbolic Logic Lecture Notes in Logic","first-page":"272","volume-title":"Proceedings of Logic Colloquium \u201800","author":"G J\u00e4ger","year":"2005","unstructured":"J\u00e4ger, G.: Metapredicative and explicit mahlo: a proof-theoretic perspective. In: Cori, R., et al. (eds.) Proceedings of Logic Colloquium \u201800. Association of Symbolic Logic Lecture Notes in Logic, vol. 19, pp. 272\u2013293. AK Peters, AK Peters (2005)"},{"unstructured":"Kreisel, G.: Ordinal logics and the characterization of informal concepts of proof. In: Proceedings of the International Congress of Mathematicians (August 1958), pp. 289\u2013299. Gauthier-Villars, Paris (1958)","key":"2_CR10"},{"key":"2_CR11","doi-asserted-by":"crossref","first-page":"371","DOI":"10.24033\/bsmf.1554","volume":"88","author":"G Kreisel","year":"1960","unstructured":"Kreisel, G.: La pr\u00e9dicativit\u00e9. Bulletin de la Societ\u00e9 Math\u00e9matique de France 88, 371\u2013391 (1960)","journal-title":"Bulletin de la Societ\u00e9 Math\u00e9matique de France"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"37","DOI":"10.2307\/2964572","volume":"24","author":"P Lorenzen","year":"1959","unstructured":"Lorenzen, P., Myhill, J.: Constructive definition of certain analytic sets of numbers. J. Symb. Log. 24, 37\u201349 (1959)","journal-title":"J. Symb. Log."},{"key":"2_CR13","volume-title":"One Hundred Years of Intuitionism (1907\u20132007)","author":"P Martin-L\u00f6f","year":"2008","unstructured":"Martin-L\u00f6f, P.: The Hilbert-Brouwer controversy resolved? In: van Atten, M. (ed.) One Hundred Years of Intuitionism (1907\u20132007). Birkh\u00e4user, Basel (2008)"},{"key":"2_CR14","volume-title":"Logic Colloquium 1973","author":"P Martin-L\u00f6f","year":"1975","unstructured":"Martin-L\u00f6f, P.: An intuitionistic theory of types: predicative part. In: Rose, H.E., Shepherdson, J.C. (eds.) Logic Colloquium 1973. North-Holland, Amsterdam (1975)"},{"key":"2_CR15","volume-title":"Logic, Methodology, and Philosophy of Science VI","author":"P Martin-L\u00f6f","year":"1982","unstructured":"Martin-L\u00f6f, P.: Constructive mathematics and computer programming. In: Choen, L.J. (ed.) Logic, Methodology, and Philosophy of Science VI. North-Holland, Amsterdam (1982)"},{"key":"2_CR16","doi-asserted-by":"publisher","DOI":"10.1515\/9781400858927","volume-title":"Predicative Arithmetic","author":"E Nelson","year":"1986","unstructured":"Nelson, E.: Predicative Arithmetic. Princeton University Press, Princeton (1986)"},{"key":"2_CR17","volume-title":"Twenty-Five Years of Type Theory","author":"E Palmgren","year":"1998","unstructured":"Palmgren, E.: On universes in type theory. In: Sambin, G., Smith, J. (eds.) Twenty-Five Years of Type Theory. Oxford University Press, Oxford (1998)"},{"key":"2_CR18","first-page":"139","volume-title":"Proof, Logic, and Formalization","author":"C Parsons","year":"1992","unstructured":"Parsons, C.: The impredicativity of induction. In: Detlefsen, M. (ed.) Proof, Logic, and Formalization, pp. 139\u2013161. Routledge, London (1992)"},{"key":"2_CR19","first-page":"294","volume":"14","author":"H Poincar\u00e9","year":"1906","unstructured":"Poincar\u00e9, H.: Les math\u00e9matiques et la logique. Revue de m\u00e9taphysique et de morale 14, 294\u2013317 (1906)","journal-title":"Revue de m\u00e9taphysique et de morale"},{"key":"2_CR20","first-page":"461","volume":"17","author":"H Poincar\u00e9","year":"1909","unstructured":"Poincar\u00e9, H.: La logique de linfini. Revue de M\u00e9taphysique et Morale 17, 461\u2013482 (1909)","journal-title":"Revue de M\u00e9taphysique et Morale"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/s11229-004-6208-4","volume":"147","author":"M Rathjen","year":"2005","unstructured":"Rathjen, M.: The constructive Hilbert program and the limits of Martin-L\u00f6f type theory. Synthese 147, 81\u2013120 (2005)","journal-title":"Synthese"},{"key":"2_CR22","first-page":"627","volume":"14","author":"B Russell","year":"1906","unstructured":"Russell, B.: Les paradoxes de la logique. Revue de m\u00e9taphysique et de morale 14, 627\u2013650 (1906)","journal-title":"Revue de m\u00e9taphysique et de morale"},{"key":"2_CR23","doi-asserted-by":"publisher","first-page":"222","DOI":"10.2307\/2369948","volume":"30","author":"B Russell","year":"1908","unstructured":"Russell, B.: Mathematical logic as based on the theory of types. Am. J. Math. 30, 222\u2013262 (1908)","journal-title":"Am. J. Math."},{"key":"2_CR24","volume-title":"Essays in Analysis","author":"B Russell","year":"1973","unstructured":"Russell, B.: Essays in Analysis. George Braziller, New York (1973)"},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF01972460","volume":"7","author":"K Sch\u00fctte","year":"1965","unstructured":"Sch\u00fctte, K.: Eine Grenze f\u00fcr die Beweisbarkeit der Transfiniten Induktion in der verzweigten Typenlogik. Archiv f\u00fcr mathematische Logik und Grundlagenforschung 7, 45\u201360 (1965)","journal-title":"Archiv f\u00fcr mathematische Logik und Grundlagenforschung"},{"key":"2_CR26","volume-title":"Formal Systems and Recursive Functions","author":"K Sch\u00fctte","year":"1965","unstructured":"Sch\u00fctte, K.: Predicative well-orderings. In: Crossley, J., Dummett, M. (eds.) Formal Systems and Recursive Functions. North-Holland, Amsterdam (1965)"},{"key":"2_CR27","series-title":"Perspectives in Logic","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511581007","volume-title":"Subsystems of Second Order Arithmetic","author":"SG Simpson","year":"2009","unstructured":"Simpson, S.G.: Subsystems of Second Order Arithmetic. Perspectives in Logic, 2nd edn. Cambridge University Press, Cambridge (2009)","edition":"2"},{"key":"2_CR28","doi-asserted-by":"crossref","DOI":"10.1515\/9783112451144","volume-title":"Das Kontinuum Kritischen Untersuchungen \u00fcber die Grundlagen der Analysis","author":"H Weyl","year":"1918","unstructured":"Weyl, H.: Das Kontinuum Kritischen Untersuchungen \u00fcber die Grundlagen der Analysis. Veit, Leipzig (1918)"},{"key":"2_CR29","volume-title":"Principia Mathematica","author":"AN Whitehead","year":"1925","unstructured":"Whitehead, A.N., Russell, B.: Principia Mathematica, vol. 1. Cambridge University Press, Cambridge (1925)"}],"container-title":["Lecture Notes in Computer Science","Evolving Computability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-20028-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T01:34:51Z","timestamp":1676943291000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-20028-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319200279","9783319200286"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-20028-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"20 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}