@article{10_2307_121032,
     author = {Harvey M. Friedman},
     title = {Finite functions and the necessary use of large cardinals},
     journal = {Annals of mathematics},
     year = {1998},
     volume = {148},
     number = {3},
     doi = {10.2307/121032},
     zbl = {0941.03050},
     url = {http://geodesic.mathdoc.fr/articles/10.2307/121032/}
}