Lorenzen Between Gentzen and Schütte
From MaRDI portal
Publication:5024725
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
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