[FOM] introduction to Harvey Friedman's work on digraphs and similar results
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?
More information about the FOM