Pages that link to "Item:Q2863601"
From MaRDI portal
The following pages link to Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals (Q2863601):
Displaying 8 items.
- Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics (Q530609) (← links)
- The machinery of consistency proofs (Q1124588) (← links)
- Consistency proof via pointwise induction (Q1128178) (← links)
- Incompleteness Theorems, Large Cardinals, and Automata over Finite Words (Q2988824) (← links)
- Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation (Q3370623) (← links)
- NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM (Q4632541) (← links)
- Decoding Gentzen's Notation (Q5208100) (← links)
- Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words (Q5384126) (← links)