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
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AM_1998_148_3_a1/
ID  - AM_1998_148_3_a1
ER  -