Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie

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

Mathematics Subject Classification ID

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

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