Cardinal transfer properties in extender models

https://doi.org/10.1016/j.apal.2008.01.008Get rights and content
Under an Elsevier user license
open archive

Abstract

We prove that if L[E] is a Jensen extender model, then L[E] satisfies the Gap-1 morass principle. As a corollary to this and a theorem of Jensen, the model L[E] satisfies the Gap-2 Cardinal Transfer Property (κ++,κ)(λ++,λ) for all infinite cardinals κ and λ.

MSC

03E05
03E45
03E55

Keywords

Extender model
Fine structure
Morass

Cited by (0)