A slow growing analogue to Buchholz’ proof (1991)

by T Arai
Venue:Ann. Pure Appl. Logic