Lorenzen Between Gentzen and Schütte

DOI10.1007/978-3-030-65824-3_5zbMath1497.03003OpenAlexW3194872088MaRDI QIDQ5024725

Reinhard Kahle, Isabel Oitavem

Publication date: 27 January 2022

Published in: Paul Lorenzen -- Mathematician and Logician (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-65824-3_5

zbMATH Keywords

proof theoryLorenzen\(\omega\)-rule

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructions, proofs and the meaning of logical constants
• An ordinal analysis of stability
• An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
• Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
• Die Widerspruchsfreiheit der klassischen Analysis
• Gentzen's Centenary
• Syntactical and semantical properties of simple type theory
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
• “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays
• The mathematical significance of proof theory
• Gödel Theorems for Non-Constructive Logics
• Algebraische und logistische Untersuchungen über freie Verbände
• The consistency of arithmetics
• Lorenzen's Proof of Consistency for Elementary Number Theory

This page was built for publication: Lorenzen Between Gentzen and Schütte