%0 Journal Article
%A Harvey M. Friedman
%T Finite functions and the necessary use of large cardinals
%J Annals of mathematics
%D 1998
%V 148
%N 3
%U http://geodesic.mathdoc.fr/articles/10.2307/121032/
%R 10.2307/121032
%F 10_2307_121032