@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/