FOM: Friedman's result on necessary use of large cardinals

[Vaughan Pratt]

From: Shipman
>though you can find references to them on the Web if you use
>Infoseek rather than AltaVista, concerning  a paper by Kanamori in the Journal
>of Pure and Applied Logic)

I'm not sure how Franzen found nothing on subtle cardinals with
Altavista.  I got five hits with each of Altavista and Infoseek, all
mathematical (no bishops, rooks, pawns, ...).

Vaughan Pratt