Weakly measurable cardinals |
| |
Authors: | Jason A. Schanker |
| |
Affiliation: | The CUNY Graduate Center, Mathematics, 365 Fifth Avenue, New York, New York 10016, USA |
| |
Abstract: | In this article, we introduce the notion of weakly measurable cardinal, a new large cardinal concept obtained by weakening the familiar concept of a measurable cardinal. Specifically, a cardinal κ is weakly measurable if for any collection $mathcal {A}$ containing at most κ+ many subsets of κ, there exists a nonprincipal κ‐complete filter on κ measuring all sets in $mathcal {A}$. Every measurable cardinal is weakly measurable, but a weakly measurable cardinal need not be measurable. Moreover, while the GCH cannot fail first at a measurable cardinal, I will show that it can fail first at a weakly measurable cardinal. More generally, if κ is measurable, then we can make its weak measurability indestructible by the forcing Add(κ, η) for any η while forcing the GCH to hold below κ. Nevertheless, I shall prove that weakly measurable cardinals and measurable cardinals are equiconsistent. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim |
| |
Keywords: | Weakly measurable consistency of a measurable cardinal least weakly compact cardinal first failure of the GCH surgery method Silver iteration MSC (2010) 03E35 03E45 03E55 |
|
|