Abstract
By forcing over a model of ZFC + GCH (above ?) with a class-sized partial order preserving this theory we produce a model in which there is a locally defined well-order of the universe; that is, one whose restriction to all levels H (?) (? = ? a regular cardinal) is a well-order of H (?) definable over the structure <H (?), ? > by a parameter-free formula. Further, this forcing construction preserves all supercompact cardinals as well as all instances of regular local supercompactness. It is also possible to define variants of this construction which, in addition to forcing a locally defined well-order of the universe, preserve many of the n-huge cardinals from the ground model (for all n).
Original language | English |
---|---|
Pages (from-to) | 1-15 |
Number of pages | 15 |
Journal | Annals of Pure and Applied Logic |
Volume | 157 |
Issue number | 1 |
DOIs | |
Publication status | Published - 1 Jan 2009 |
Keywords
- Definable well-orders
- Supercompactness
- Large cardinal preservation
- Huge cardinals
- Outer model programme