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

[Robert Smith]

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?

Thanks!


Bob Smith