Fixed points in Peano arithmetic with ordinals (1993)

by J ager, G
Venue:Annals of Pure and Applied Logic