{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:25:47Z","timestamp":1742984747104,"version":"3.40.3"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030658236"},{"type":"electronic","value":"9783030658243"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,8,18]],"date-time":"2021-08-18T00:00:00Z","timestamp":1629244800000},"content-version":"vor","delay-in-days":229,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We discuss Lorenzen\u2019s consistency proof for ramified type theory without reducibility, published in 1951, in its historical context and highlight Lorenzen\u2019s contribution to the development of modern proof theory, notably by the introduction of the <jats:inline-formula><jats:alternatives><jats:tex-math>$$\\omega $$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                <mml:mi>\u03c9<\/mml:mi>\n              <\/mml:math><\/jats:alternatives><\/jats:inline-formula>-rule.<\/jats:p>","DOI":"10.1007\/978-3-030-65824-3_5","type":"book-chapter","created":{"date-parts":[[2021,8,17]],"date-time":"2021-08-17T12:22:29Z","timestamp":1629202949000},"page":"63-76","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Lorenzen Between Gentzen and Sch\u00fctte"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Kahle","sequence":"first","affiliation":[]},{"given":"Isabel","family":"Oitavem","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,8,18]]},"reference":[{"key":"5_CR1","unstructured":"Bernays, P. (1964). On platonism in mathematics. Philosophy of mathematics, edited by Paul Benacerraf and Hilary Putnam, pages 274\u2013286. Prentice-Hall. Lecture delivered June\u00a018, 1934, in the cycle of Conferences internationales des sciences mathematiques organized by the University of Geneva, in the series on Mathematical Logic. Translated from the French by C.\u00a0D. Parsons from L\u2019enseignement mathematique, 1st ser., vol.\u00a034 (1935), pp. 52\u201369."},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BF01733289","volume":"42","author":"R Carnap","year":"1935","unstructured":"Carnap, R. (1935). Ein G\u00fcltigkeitskriterium f\u00fcr die S\u00e4tze der klassischen Mathematik. Monatshefte f\u00fcr Mathematik und Physik, 42, 163\u2013190.","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"key":"5_CR3","unstructured":"Coquand, T. (2020). Lorenzen and constructive mathematics (pp. 45\u201359)."},{"key":"5_CR4","unstructured":"Coquand, T., Lombardi, H., & Neuwirth, S. (2020). Regular entailment relations (pp. 101\u2013122)."},{"key":"5_CR5","unstructured":"Coquand, T., & Stefan N. (2017). An introduction to Lorenzen\u2019s Algebraic and logistic investigations on free lattices (1951). arXiv: 1711.06139v1 [math.LO]."},{"key":"5_CR6","doi-asserted-by":"publisher","unstructured":"Coquand, T., & Stefan N. (2020). Lorenzen\u2019s proof of consistency for elementary number theory. History and Philosophy of Science. https:\/\/doi.org\/10.1080\/01445340.2020.1752034.","DOI":"10.1080\/01445340.2020.1752034"},{"key":"5_CR7","unstructured":"Feferman, S. (1986). Introductory note to [G\u00f6del 1931c]. In S.\u00a0Feferman et\u00a0al. (Eds.) Kurt G\u00f6del: Collected works, i: Publications 1929\u20131936 (pp. 208\u2013213). Oxford: Oxford University Press."},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/BF01565428","volume":"112","author":"G Gentzen","year":"1936","unstructured":"Gentzen, G. (1936). Die Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen, 112, 493\u2013565.","journal-title":"Mathematische Annalen"},{"key":"5_CR9","unstructured":"Gentzen, G. (1969). Collected works, Edited by M.\u00a0E. Szabo, North-Holland."},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K G\u00f6del","year":"1931","unstructured":"G\u00f6del, K. (1931). \u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme i. Monatshefte f\u00fcr Mathematik und Physik, 38, 173\u2013198.","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"key":"5_CR11","unstructured":"Heinzmann, G. (2020). Operation and predicativity: Lorenzen\u2019s approach to arithmetic (pp. 9\u201320)."},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/BF01206605","volume":"95","author":"D Hilbert","year":"1926","unstructured":"Hilbert, D. (1926). \u00dcber das Unendliche. Mathematische Annalen, 95, 161\u2013190.","journal-title":"Mathematische Annalen"},{"key":"5_CR13","unstructured":"Hilbert, D. (1928). Probleme der Grundlegung der Mathematik. In Atti del Congresso Internazionale dei Matematici (Bologna, 3\u201319 settembre 1928). Bologna: Nicola Zanichelli."},{"key":"5_CR14","unstructured":"Hilbert, D. (1931a). Beweis des Tertium non datur. Nachrichten von der Gesellschaft der Wissenschaften zu G\u00f6ttingen, Mathematisch-Physikalische Klasse (pp. 120\u2013125). Talk given on July\u00a017, 1931 in G\u00f6ttingen."},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Hilbert, D. (1931b). Die Grundlegung der elementaren Zahlenlehre. Mathematische Annalen104(1), 485\u2013494. Talk given in December 1930 in Hamburg.","DOI":"10.1007\/BF01457953"},{"key":"5_CR16","unstructured":"Hilbert, D. (1967). On the infinite. In van Heijenoort, J. (Ed.) From Frege to G\u00f6del: A source book in mathematical logic, 1879\u20131931 (pp. 367\u2013392). Harvard University Press. English translation of Hilbert 1926."},{"key":"5_CR17","unstructured":"Hilbert, D., & Paul Bernays. (1939). Grundlagen der Mathematik\u00a0ii. Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, 50. 2nd edn. 1970. Berlin: Springer."},{"key":"5_CR18","unstructured":"Kahle, R. (2015). Gentzen\u2019s theorem in context. In K. Reinhard & R. Michael (Eds.) Gentzen\u2019s centenary: The quest for consistency (pp. 3\u201324). Berlin: Springer."},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Kahle, R. (2020). Sehr geehrter Herr Professor!\u2019 Proof theory in 1949 in a letter from Sch\u00fctte to Bernays. In R. Kahle & M. Rathjen (Eds.) The legacy of Kurt Sch\u00fctte (pp. 3\u201319). Berlin: Springer.","DOI":"10.1007\/978-3-030-49424-7_1"},{"key":"5_CR20","unstructured":"Lorenz, K. (2020). Paul Lorenzens Weg von der Mathematik zur Philosophie: Pers\u00f6nliche Erinnerungen (pp. 1\u20138)."},{"key":"5_CR21","unstructured":"Lorenzen, P. (1948). Grundlagen der Mathematik. In W.\u00a0S\u00fcss (Ed.) Reine Mathematik, Naturforschung und Medizin in Deutschland 1939\u20131946 (f\u00fcr Deutschland bestimmte Ausgabe der fiat Review of German Science), Band\u00a01, Teil\u00a01 (pp. 11\u201322). Dietrich\u2019sche Verlagsbuchhandlung."},{"key":"5_CR22","doi-asserted-by":"publisher","first-page":"81","DOI":"10.2307\/2266681","volume":"16","author":"P Lorenzen","year":"1951","unstructured":"Lorenzen, P. (1951a). Algebraische und logistische Untersuchungen \u00fcber freie Verb\u00e4nde. Journal Symbolic Logic, 16, 81\u2013106.","journal-title":"Journal Symbolic Logic"},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01175131","volume":"54","author":"P Lorenzen","year":"1951","unstructured":"Lorenzen, P. (1951b). Die Widerspruchsfreiheit der klassischen Analysis. Mathematische Zeitschrift, 54, 1\u201324.","journal-title":"Mathematische Zeitschrift"},{"key":"5_CR24","unstructured":"Lorenzen, P. (1962). Metamathematik. Volume\u00a025 of BI Hochschultaschenb\u00fccher. Bibliographisches Institut."},{"key":"5_CR25","unstructured":"Lorenzen, P. (1965). Differential und Integral: Eine konstruktive Einf\u00fchrung in die klassische Analysis. Akademische Verlagsgesellschaft."},{"key":"5_CR26","unstructured":"Lorenzen, P. (1968). Constructive mathematics as a philosophical problem. Compositio Mathematica20: 133\u2013142. Also published (with identical pagination) in Logic and foundations of mathematics, edited by D.\u00a0van Dalen, J.\u00a0G. Dijkman, S.\u00a0C. Kleene, & A.\u00a0S. Troelstra. Alphen aan den Rijn: Wolters-Noordhoff Publishing."},{"key":"5_CR27","unstructured":"Lorenzen, P. (2017). Algebraic and logistic investigations on free lattices. arXiv: 1710.08138. Translation by Stefan Neuwirth of Lorenzen 1951a."},{"key":"5_CR28","doi-asserted-by":"publisher","unstructured":"Lorenzen, P. (1944\/2020). Ein halbordnungstheoretischer Widerspruchsfreiheitsbeweis. History and Philosophy of Logic. From the Oskar Becker Nachlass, Philosophical Archive of the University of Konstanz, file OB\u00a05-3b-5, edited and translated as A proof of freedom from contradiction within the theory of partial order by Stefan Neuwirth. https:\/\/doi.org\/10.1080\/01445340.2020.1752040","DOI":"10.1080\/01445340.2020.1752040"},{"key":"5_CR29","doi-asserted-by":"publisher","first-page":"2419","DOI":"10.1098\/rsta.2005.1656","volume":"363","author":"A Macintyre","year":"2005","unstructured":"Macintyre, A. (2005). The mathematical significance of proof theory. Philosophical Transactions of the Royal Society A, 363, 2419\u20132435.","journal-title":"Philosophical Transactions of the Royal Society A"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Martin-L\u00f6f, P. (2008). The Hilbert\u2013Brouwer controversy resolved? In M. van Atten, P. Boldini, M. Bourdeau, & G. Heinzmann (Eds.) One hundred years of intuitionism (1907\u20132007): The Cerisy conference (pp. 243\u2013256). Basel: Birkh\u00e4user.","DOI":"10.1007\/978-3-7643-8653-5_15"},{"key":"5_CR31","unstructured":"Menzler-Trott, E. (2007). Logic\u2019s lost genius: The life of Gerhard Gentzen. Volume\u00a033 of History of mathematics. American Mathematical Society."},{"key":"5_CR32","unstructured":"Neuwirth, S. (2020). Lorenzen\u2019s reshaping of Krull\u2019s Fundamentalsatz for integral domains (1938\u20131953) (pp. 141\u2013180)."},{"issue":"3","key":"5_CR33","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/s00153-004-0232-4","volume":"44","author":"M Rathjen","year":"2005","unstructured":"Rathjen, M. (2005a). An ordinal analysis of parameter free $$\\Pi ^1_2$$- comprehension. Archive for Mathematical Logic, 44(3), 263\u2013362.","journal-title":"Archive for Mathematical Logic"},{"issue":"1","key":"5_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00153-004-0226-2","volume":"44","author":"M Rathjen","year":"2005","unstructured":"Rathjen, M. (2005b). An ordinal analysis of stability. Archive for Mathematical Logic, 44(1), 1\u201362.","journal-title":"Archive for Mathematical Logic"},{"issue":"3","key":"5_CR35","doi-asserted-by":"publisher","first-page":"129","DOI":"10.2307\/2266293","volume":"2","author":"B Rosser","year":"1937","unstructured":"Rosser, B. (1937). G\u00f6del theorems for non-constructive logics. Journal of Symbolic Logic, 2(3), 129\u2013137.","journal-title":"Journal of Symbolic Logic"},{"key":"5_CR36","unstructured":"Schuster, P., & Wessel, D. (2020). Syntax for semantics: Krull\u2019s maximal ideal theorem (pp. 75\u2013100)."},{"key":"5_CR37","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/BF01342849","volume":"122","author":"K Sch\u00fctte","year":"1951","unstructured":"Sch\u00fctte, K. (1951). Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie. Mathematische Annalen, 122, 369\u2013389.","journal-title":"Mathematische Annalen"},{"issue":"3","key":"5_CR38","doi-asserted-by":"publisher","first-page":"261","DOI":"10.2307\/2267416","volume":"18","author":"K Sch\u00fctte","year":"1953","unstructured":"Sch\u00fctte, K. (1953). Review of Paul Lorenzen, Die Widerspruchsfreiheit der Klassischen Analysis (Lorenzen 1951a). Journal of Symbolic Logic, 18(3), 261\u2013262.","journal-title":"Journal of Symbolic Logic"},{"key":"5_CR39","unstructured":"Sch\u00fctte, Kurt. (1960). Beweistheorie. Volume\u00a0103 of Grundlehren der Mathematischen Wissenschaften. Berlin: Springer."},{"key":"5_CR40","doi-asserted-by":"crossref","unstructured":"Sch\u00fctte, K. (1977). Proof theory. Berlin: Springer.","DOI":"10.1007\/978-3-642-66473-1"},{"key":"5_CR41","unstructured":"Sundholm, G. (1983). Proof theory: A survey of the omega-rule. Ph.D. dissertation, Magdalen College, University of Oxford."},{"key":"5_CR42","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BF01708855","volume":"40","author":"A Tarski","year":"1933","unstructured":"Tarski, A. (1933). Einige Betrachtungen \u00fcber die Begriffe der $$\\omega $$- Widerspruchsfreiheit und der $$\\omega $$-Vollst\u00e4ndigkeit. Monatshefte f\u00fcr Mathematik und Physik, 40, 97\u2013112.","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"}],"container-title":["Logic, Epistemology, and the Unity of Science","Paul Lorenzen -- Mathematician and Logician"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-65824-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,17]],"date-time":"2021-08-17T12:24:25Z","timestamp":1629203065000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-65824-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030658236","9783030658243"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-65824-3_5","relation":{},"ISSN":["2214-9775","2214-9783"],"issn-type":[{"type":"print","value":"2214-9775"},{"type":"electronic","value":"2214-9783"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"18 August 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}