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

by H Friedman
Venue:Annals of Mathematics