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 [1]

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.