@article{AM_1998_148_3_a1,
     author = {Harvey M. Friedman},
     title = {Finite functions and the necessary use of large cardinals},
     journal = {Annals of mathematics},
     publisher = {mathdoc},
     volume = {148},
     number = {3},
     year = {1998},
     url = {http://geodesic.mathdoc.fr/item/AM_1998_148_3_a1/}
}