Abstract
We show that it is consistent, relative to n ω supercompact cardinals, for the strongly compact and measurable Woodin cardinals to coincide precisely. In particular, it is consistent for the first n strongly compact cardinals to be the first n measurable Woodin cardinals, with no cardinal above the n th strongly compact cardinal being measurable. In addition, we show that it is consistent, relative to a proper class of supercompact cardinals, for the strongly compact cardinals and the cardinals which are both strong cardinals and Woodin cardinals to coincide precisely. We also show how the techniques employed can be used to prove additional theorems about possible relationships between Woodin cardinals and strongly compact cardinals.
Original language | English (US) |
---|---|
Pages (from-to) | 307-322 |
Number of pages | 16 |
Journal | Archive for Mathematical Logic |
Volume | 45 |
Issue number | 3 |
DOIs | |
State | Published - Mar 2006 |
Externally published | Yes |
All Science Journal Classification (ASJC) codes
- Philosophy
- Logic
Keywords
- Non-reflecting stationary set of ordinals
- Strong cardinal
- Strongly compact cardinal
- Supercompact cardinal
- Woodin cardinal