Article ID Journal Published Year Pages File Type
4662342 Annals of Pure and Applied Logic 2008 28 Pages PDF
Abstract

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

Related Topics
Physical Sciences and Engineering Mathematics Logic