Pages that link to "Item:Q3066292"
From MaRDI portal
The following pages link to Consistency of Heyting arithmetic in natural deduction (Q3066292):
Displaying 7 items.
- Normalization proof for Peano arithmetic (Q892146) (← links)
- Gentzen's consistency proof without heightlines (Q2377348) (← links)
- Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals (Q2863601) (← links)
- Gentzen's Proof Systems: Byproducts in a Work of Genius (Q2915886) (← links)
- Completeness of a cut-free calculus with equality and function constants (Q3712336) (← links)
- Gödel and Intuitionism (Q5250219) (← links)
- Explaining the Gentzen-Takeuti reduction steps: A second-order system (Q5944050) (← links)
