Pages that link to "Item:Q4774023"
From MaRDI portal
The following pages link to Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie (Q4774023):
Displaying 6 items.
- Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency (Q2409191) (← links)
- FROM STENIUS’ CONSISTENCY PROOF TO SCHÜTTE’S CUT ELIMINATION FOR <i>ω</i>-ARITHMETIC (Q2804471) (← links)
- Consistency of Heyting arithmetic in natural deduction (Q3066292) (← links)
- KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION (Q4961869) (← links)
- Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension (Q5013904) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
