[FOM] searching the FOM archive

[martin@eipye.com]

Harvey Friedman wrote:

>There has been a lot of discussion about reverse mathematics, and if
>we had the old search engine for the archives, you could search there
>on "reverse mathematics". I understand that the moderator is trying
>to get such a search engine attached to the archives.

A kind non-subscriber suggested:

<<I suggest to try a simple google query e.g.

site:www.cs.nyu.edu fom "reverse mathematics"

resulting in 355 entries.
But may be google has not indexed the archive completely

Yours sincerely 
 ZK>>