@article{01267820,
title = {Finite functions and the necessary use of large cardinals.},
journal = {Annals of Mathematics. Second Series},
volume = {148},
year = {1998},
pages = {803-893},
doi = {10.2307/121032},
zbl = {0941.03050},
language = {en},
url = {http://dml.mathdoc.fr/item/01267820}
}
Friedman, Harvey M. Finite functions and the necessary use of large cardinals.. Annals of Mathematics. Second Series, Tome 148 (1998) pp. 803-893. doi : 10.2307/121032. http://gdmltest.u-ga.fr/item/01267820/