| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4661908 | Annals of Pure and Applied Logic | 2012 | 8 Pages |
Abstract
We introduce combinatorial principles that characterize strong compactness and supercompactness for inaccessible cardinals but also make sense for successor cardinals. Their consistency is established from what is supposedly optimal. Utilizing the failure of a weak version of a square, we show that the best currently known lower bounds for the consistency strength of these principles can be applied.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
