A power function with a fixed finite gap everywhere

We give an application of the extender based Radin forcing to cardinal arithmetic. Assuming κ is a large enough cardinal we construct a model satisfying 2κ = κ+n together with 2λ = λ+n for each cardinal λ < κ, where 0 < n < ω. The cofinality of κ can be set arbitrarily or κ can remain inaccessible. When κ remains an inaccessible, Vκ is a model of ZFC satisfying 2λ = λ+n for all cardinals λ.

• Type: Journal
• Year: 2007
• Where: JSYML
• Authors: Carmi Merimovich
• Keywords: Arithmetic, JSYML 2007, Large, Large Enough