Transfinite induction within Peano arithmetic (1995)

by R Sommer
Venue:Ann. Pure Appl. Logic