A simplified version of local predicativity (1993)

by W Buchholz
Venue:In Proof theory