Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie
From MaRDI portal
Publication:4774023
DOI10.1007/BF02015370zbMath0286.02034OpenAlexW142291065WikidataQ56082433 ScholiaQ56082433MaRDI QIDQ4774023
No author found.
Publication date: 1974
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137887
Related Items (7)
Well-Ordering Principles in Proof Theory and Reverse Mathematics ⋮ Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency ⋮ Lorenzen's Proof of Consistency for Elementary Number Theory ⋮ Consistency of Heyting arithmetic in natural deduction ⋮ FROM STENIUS’ CONSISTENCY PROOF TO SCHÜTTE’S CUT ELIMINATION FOR ω-ARITHMETIC ⋮ KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION ⋮ Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension
This page was built for publication: Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie