Wellordering proofs for systems of fundamental sequences (1990)

by W Buchholz