Systems of second-order arithmetic with restricted induction (abstract (1976)

by H Friedman
Venue:J. Symbolic Logic