TY  - RPRT
TI  - Finite functions and the necessary use of large cardinals
AU  - Harvey M. Friedman
PY  - 1998
UR  - https://arxiv.org/abs/math/9811187
ID  - math/9811187
ER  -