There's also a Plus article There's also a Plus article on Woodin's work on a "golden axiom" that Maarten has mentioned: http://plus.maths.org/content/searching-missing-truth Reply
There's also a Plus article on Woodin's work on a "golden axiom" that Maarten has mentioned: http://plus.maths.org/content/searching-missing-truth