Finite functions and the necessary use of large cardinals (1998)

by Harvey M Friedman
Venue:Annals of Mathematics