Pages that link to "Item:Q5221590"
From MaRDI portal
The following pages link to The Second Incompleteness Theorem: Reflections and Ruminations (Q5221590):
Displaying 5 items.
- Transductions in arithmetic (Q904144) (← links)
- Friedman-reflexivity (Q2159935) (← links)
- The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb (Q2663342) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- A step towards absolute versions of metamathematical results (Q6150669) (← links)
