[FOM] introduction to Harvey Friedman's work on digraphs and similar results

Robert Smith rsmithjr at covad.net
Mon Jan 30 03:21:21 EST 2006

Prof. Friedman's work on independence results (MAH+ etc.) appears very
interesting and indeed startling.

Can anyone (esp. Prof. Friedman) recommend some introductory treatments for
the non-specialist with a background in logic generally?

Also, what is the prospect of "weaker", more "finitary" axioms resolving the
sorts of propositions for which he proves independence in ZFC?


Bob Smith

More information about the FOM mailing list