Tall cardinals

[bibtex key=Hamkins2009:TallCardinals]

A cardinal κ is tall if for every ordinal θ there is an embedding j:VM with critical point κ such that j(κ)>θ and MκM.  Every strong cardinal is tall and every strongly compact cardinal is tall, but measurable cardinals are not necessarily tall. It is relatively consistent, however, that the least measurable cardinal is tall. Nevertheless, the existence of a tall cardinal is equiconsistent with the existence of a strong cardinal. Any tall cardinal κ can be made indestructible by a variety of forcing notions, including forcing that pumps up the value of 2κ as high as desired.

Leave a Reply

Your email address will not be published. Required fields are marked *