6 citations · 6 across the 6 of their papers we have counts for
1 paper · 1 filter
Patrick Lutz, James Walsh
This paper is an investigation of the relationship between Gödel's second incompleteness theorem and the well-foundedness of jump hierarchies. It follows from a classic theorem of…