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

## 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