13 citations · 70 across the 51 of their papers we have counts for
1 paper · 2 filters
Joost J. Joosten
Turing progressions have been often used to measure the proof-theoretic strength of mathematical theories. Turing progressions based on n-provability give rise to a Πn+1 pro…