TY  - JOUR
AU  - Harvey M. Friedman
TI  - Finite functions and the necessary use of large cardinals
JO  - Annals of mathematics
PY  - 1998
VL  - 148
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.2307/121032/
DO  - 10.2307/121032
ID  - 10_2307_121032
ER  -