Abstract
We use a reverse Easton forcing iteration to obtain a universe with a definable well-order, while preserving the GCH and proper classes of a variety of very large cardinals. This is achieved by coding using the principle ♢*κ+ at a proper class of cardinals κ. By choosing the cardinals at which coding occurs sufficiently sparsely, we are able to lift the embeddings witnessing the large cardinal properties without having to meet any non-trivial master conditions.
| Translated title of the contribution | Large cardinals and definable well-orders on the universe |
|---|---|
| Original language | English |
| Pages (from-to) | 641 - 654 |
| Number of pages | 14 |
| Journal | Journal of Symbolic Logic |
| Volume | 74, issue 2 |
| DOIs | |
| Publication status | Published - Jun 2009 |