Pages that link to "Item:Q4656552"
From MaRDI portal
The following pages link to Extending the First Gentzen's Consistency Proof to the Intuitionistic Case (Q4656552):
Displaying 4 items.
- 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)
- Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation (Q3370623) (← links)
- Explaining the Gentzen-Takeuti reduction steps: A second-order system (Q5944050) (← links)