Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie

DOI10.1007/BF02015370zbMATH Open0286.02034OpenAlexW142291065WikidataQ56082433 ScholiaQ56082433MaRDI QIDQ4774023FDOQ4774023

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)

• Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension
• Consistency of Heyting arithmetic in natural deduction
• 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
• Kurt Gödel's first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction

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)