2006 seminar talk: Large cardinals and definable well-orders
Talk held by Andrew Brooke-Taylor (KGRC) at the KGRC seminar on 2006-12-07.
I will show how, using Kurepa trees as oracles, one may perform a class forcing so that a generically chosen class of cardinals will be definable in the extension. In the extension model, we will then have a definable well order, GCH will hold, and any n-superstrong cardinals from the ground model will remain n-superstrong.
For further, light-hearted discussion, see