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

by Harvey Friedman
Venue:LATTICE MULTIVERSE MODELS 11