6 citations · 9 across the 5 of their papers we have counts for
1 paper · 2 filters
Eduardo Hermo Reyes, Joost J. Joosten
Turing progressions arise by iteratedly adding consistency statements to a base theory. Different notions of consistency give rise to different Turing progressions. In this paper w…