Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie

DOI10.1007/BF02015370MaRDI QIDQ4774023zbMATH OpenOpenAlexWikidataFDO

Authors Gerhard Gentzen

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

Mathematics Subject Classification ID

General logic (03B99) Proof theory and constructive mathematics (03F99)

Cited in

(7)

• Kurt Gödel's first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction
• Consistency of Heyting arithmetic in natural deduction
• Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension
• Well-Ordering Principles in Proof Theory and Reverse Mathematics
• Lorenzen's Proof of Consistency for Elementary Number Theory
• From Stenius' consistency proof to Schütte's cut elimination for \(\omega\)-arithmetic
• Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency

This page was built for publication: Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4774023)