Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662223 | Annals of Pure and Applied Logic | 2009 | 28 Pages |
Abstract
We prove covering theorems for K, where K is the core model below the sharp for a strong cardinal, and give an application to stationary set reflection.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic