Pages that link to "Item:Q4897040"
From MaRDI portal
The following pages link to Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa (Q4897040):
Displaying 4 items.
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 (Q873911) (← links)
- Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection (Q1887655) (← links)
- How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study (Q4254685) (← links)
- On the Performance of Axiom Systems (Q5055280) (← links)
