%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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AM_1998_148_3_a1/
%F AM_1998_148_3_a1