{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:08:37Z","timestamp":1759147717982,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319633329"},{"type":"electronic","value":"9783319633343"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-63334-3_13","type":"book-chapter","created":{"date-parts":[[2018,3,31]],"date-time":"2018-03-31T21:43:41Z","timestamp":1522532621000},"page":"347-384","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Some Semi-constructive Theories Related to Kripke\u2013Platek Set Theory"],"prefix":"10.1007","author":[{"given":"Fernando","family":"Ferreira","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,4,2]]},"reference":[{"key":"13_CR1","series-title":"Studies in Logic and the Foundations of Mathematics","doi-asserted-by":"crossref","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. 137, pp. 337\u2013405. North Holland, Amsterdam (1998)"},{"issue":"4","key":"13_CR2","doi-asserted-by":"crossref","first-page":"1100","DOI":"10.2178\/jsl\/1254748682","volume":"74","author":"J Avigad","year":"2009","unstructured":"Avigad, J., Towsner, H.: Functional interpretation and inductive definitions. J. Symb. Log. 74(4), 1100\u20131120 (2009)","journal-title":"J. Symb. Log."},{"key":"13_CR3","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0079679","volume-title":"The Syntax and Semantics of Infinitary Logic","author":"J Barwise","year":"1968","unstructured":"Barwise, J.: Implicit definability and compactness in infinitary languages. In: Barwise, J. (ed.) The Syntax and Semantics of Infinitary Logic. Lecture Notes in Mathematics, vol. 72, pp. 1\u201335. Springer, Berlin (1968)"},{"key":"13_CR4","doi-asserted-by":"crossref","first-page":"409","DOI":"10.2307\/2270906","volume":"34","author":"J Barwise","year":"1969","unstructured":"Barwise, J.: Application of strict $$\\Pi ^1_1$$ predicates to infinitary logic. J. Symb. Log. 34, 409\u2013423 (1969)","journal-title":"J. Symb. Log."},{"key":"13_CR5","series-title":"Perspectives in Mathematical Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible Set Theory and Structures: An Approach to Definability Theory","author":"J Barwise","year":"1975","unstructured":"Barwise, J.: Admissible Set Theory and Structures: An Approach to Definability Theory. Perspectives in Mathematical Logic. Springer, Berlin (1975)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Bishop, E.: Schizophrenia in contemporary mathematics. In: Bishop, E. (ed.) Reflections on Him and His Research. Contemporary Mathematics, pp. 1\u201332. American Mathematical Society (1985). First published in 1973","DOI":"10.1090\/conm\/039\/788163"},{"key":"13_CR7","unstructured":"Bridges, D.S., Richman, F.: Varieties of Constructive Mathematics, vol. 97. London Mathematical Society Lecture Notes Series. Cambridge University Press (1987)"},{"key":"13_CR8","first-page":"109","volume-title":"Proof Categories and Computation: Essays in honor of Grigori Mints","author":"S Feferman","year":"2010","unstructured":"Feferman, S.: On the strength of some semi-constructive theories. In: Feferman, S., Sieg, W. (eds.) Proof Categories and Computation: Essays in honor of Grigori Mints, pp. 109\u2013129. College Publications, London (2010)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Feferman, S.: Logic, mathematics, and conceptual structuralism. In: Rush, P. (ed.) The Metaphysics of Logic, pp. 72\u201392. Cambridge University Press (2014)","DOI":"10.1017\/CBO9781139626279.006"},{"key":"13_CR10","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1017\/jsl.2013.31","volume":"79","author":"F Ferreira","year":"2014","unstructured":"Ferreira, F.: A new computation of the $$\\Sigma $$-ordinal of KP$$\\omega $$. J. Symb. Log. 79, 306\u2013324 (2014)","journal-title":"J. Symb. Log."},{"key":"13_CR11","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/j.apal.2004.11.001","volume":"135","author":"F Ferreira","year":"2005","unstructured":"Ferreira, F., Oliva, P.: Bounded functional interpretation. Ann. Pure Appl. Log. 135, 73\u2013112 (2005)","journal-title":"Ann. Pure Appl. Log."},{"key":"13_CR12","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1007\/BFb0066789","volume-title":"Cambridge Summer School in Mathematical Logic","author":"H Friedman","year":"1973","unstructured":"Friedman, H.: Countable models of set theories. In: Mathias, A.R.D., Rogers Jr., H. (eds.) Cambridge Summer School in Mathematical Logic. Lecture Notes in Mathematics, vol. 337, pp. 539\u2013573. Springer, Berlin (1973)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Hindley, J.R., Seldin, J.P.: Introduction to Combinators and $$\\lambda $$-Calculus, vol. 1. London Mathematical Society Student Texts. Cambridge University Press (1986)","DOI":"10.1017\/CBO9780511809835.002"},{"issue":"2","key":"13_CR14","doi-asserted-by":"crossref","first-page":"355","DOI":"10.2307\/2272979","volume":"37","author":"WA Howard","year":"1972","unstructured":"Howard, W.A.: A system of abstract constructive ordinals. J. Symb. Log. 37(2), 355\u2013374 (1972)","journal-title":"J. Symb. Log."},{"key":"13_CR15","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":"13_CR16","doi-asserted-by":"crossref","unstructured":"Pozsgay, L.: Liberal intuitionism as a basis for set theory. In: Scott, D. (ed.) Axiomatic Set Theory (Part 1), vol. XIII. Proceedings of Symposia in Pure Mathematics, pp. 321\u2013330. American Mathematical Society (1971)","DOI":"10.1090\/pspum\/013.1\/0288021"},{"key":"13_CR17","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1016\/j.apal.2013.07.016","volume":"165","author":"M Rathjen","year":"2014","unstructured":"Rathjen, M.: Relativized ordinal analysis: the case of Power Kripke-Platek set theory. Ann. Pure Appl. Log. 165, 316\u2013339 (2014)","journal-title":"Ann. Pure Appl. Log."},{"key":"13_CR18","series-title":"Perspectives in Mathematical Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-12013-2","volume-title":"Higher Recursion Theory","author":"G Sacks","year":"1990","unstructured":"Sacks, G.: Higher Recursion Theory. Perspectives in Mathematical Logic. Springer, Berlin (1990)"},{"key":"13_CR19","unstructured":"Salipante, V.: On the consistency strenght of the strict $$\\Pi ^1_1$$ reflection principle. Ph.D. thesis, Universit\u00e4t Bern (2005)"},{"key":"13_CR20","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":"SG Simpson","year":"1999","unstructured":"Simpson, S.G.: Subsystems of Second Order Arithmetic. Perspectives in Mathematical Logic. Springer, Berlin (1999)"}],"container-title":["Outstanding Contributions to Logic","Feferman on Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63334-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,13]],"date-time":"2019-10-13T17:39:27Z","timestamp":1570988367000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-63334-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319633329","9783319633343"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63334-3_13","relation":{},"ISSN":["2211-2758","2211-2766"],"issn-type":[{"type":"print","value":"2211-2758"},{"type":"electronic","value":"2211-2766"}],"subject":[],"published":{"date-parts":[[2017]]}}}