Finite Trees And The Necessary Use Of Large Cardinals (1998)

by By Harvey Friedman, Harvey M. Friedman