# A power function with a fixed finite gap everywhere

@article{Merimovich2007APF,
title={A power function with a fixed finite gap everywhere},
author={Carmi Merimovich},
journal={Journal of Symbolic Logic},
year={2007},
volume={72},
pages={361 - 417}
}
• C. Merimovich
• Published 17 May 2000
• Mathematics, Computer Science
• Journal of Symbolic Logic
Abstract 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 λ.

#### Topics from this paper

Prikry-Type Forcings
One of the central topics of set theory since Cantor has been the study of the power function κ→2 κ . The basic problem is to determine all the possible values of 2 κ for a cardinal κ. Paul CohenExpand
Guessing more sets
• P. Matet
• Mathematics, Computer Science
• Ann. Pure Appl. Log.
• 2015
It is shown that if λ is large enough and there are no inner models with fairly large cardinals, then ⋄ κ, λ [ λ + ] holds. Expand
Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH
• Mathematics
• 2013
Starting from large cardinals we construct a pair $V_1\subseteq V_2$ of models of $ZFC$ with the same cardinals and cofinalities such that $GCH$ holds in $V_1$ and fails everywhere in $V_2$.
Tree property at all regular even cardinals
Assuming the existence of a strong cardinal and a measurable cardinal above it, we construct a model of $ZFC$ in which for every singular cardinal $\delta$, $\delta$ is strong limit,Expand
Two remarks on Merimovich's model of the total failure of GCH
Let M denote the Merimovich’s model [3] in which for each infinite cardinal λ, 2 = λ. We show that in M the following hold: (1) Shelah’s strong hypothesis fails at all singular cardinals, indeed,Expand
Two-cardinal diamond star
• P. Matet
• Mathematics, Computer Science
• Math. Log. Q.
• 2014
It is consistent relative to a large cardinal that holds but fails, and if holds and are two infinite cardinals such that and λ carries a good scale, then holds. Expand
THE EFFECTS OF ADDING A REAL TO MODELS OF SET THEORY Prepared by :
In chapter 1 we study Shelah’s strong covering property and its applications to pairs (W,V ) of models of ZFC with V = W [R], R a real. The results in the first section of this chapter are due toExpand
HOD, V AND THE GCH
• M. Golshani
• Computer Science, Mathematics
• The Journal of Symbolic Logic
• 2017
Starting from large cardinals, a model of ZFC is constructed in which the GCH fails everywhere, but such that GCH holds in its HOD. Expand
VON NEUMANN ’ S PROBLEM AND LARGE CARDINALS ILIJAS FARAH
• 2006
It is a well-known problem of Von Neumann to discover whether the countable chain condition and weak distributivity of a complete Boolean algebra imply that it carries a strictly positive probabilityExpand
Killing The GCH Everywhere with a Single Real
• Mathematics, Computer Science
• The Journal of Symbolic Logic
• 2013
It is shown that it is possible to violate GCH at all infinite cardinals by adding a single real to a model of GCH, preserving cofinalities. Expand

#### References

SHOWING 1-10 OF 44 REFERENCES
Indiscernible Sequences for Extenders, and the Singular Cardinal Hypothesis
• Mathematics, Computer Science
• Ann. Pure Appl. Log.
• 1996
A detailed analysis of the sequences of indiscernibles which come from applying the covering lemma to nonoverlapping sequences of extenders is given and the main result is the following theorem: Theorem. Expand
Adding closed cofinal sequences to large cardinals
Magidor has a forcing notion generalizing Prikry's which adds a closed cofinal sequence of ordinals through a large cardinal which keeps κ regular and in fact κ remains measurable after the forcing. Expand
Inequalities for Cardinal Powers
• Mathematics
• 1975
Silver [7] recently proved that, if GCH holds below , then it holds at 8 [Lo2lo]wr for some p < 03. (Here (wo, is an ordinal power; in the rest of this paper, only cardinal exponentiation is used.)Expand
We define extender sequences, generalizing measure sequences of Radin forcing. Using the extender sequences, we show how to combine the Gitik-Magidor forcing for adding many Prikry sequences withExpand
The Singular Cardinal Hypothesis Revisited
• Mathematics
• 1992
Cardinal arithmetic had been one of the central themes in set theory, but in the late 60’s and early 70’s, it seemed that there were actually very few theorems that could be proved about cardinalExpand
The generalized continuum hypothesis can fail everywhere
• Mathematics
• 1991
In 1874, Cantor [Cl] showed that every set has cardinality strictly smaller than the cardinality of its power set. Cantor asked [C2] whether for infinite sets X there is a set Y of cardinalityExpand
How Weak is A Closed Unbounded Ultrafilter
Publisher Summary This chapter discusses the weakness of closed unbounded ultrafilter and gives a detailed review of Radin forcing.
A model in which GCH holds at successors but fails at limits
Starting with GCH and a _9'3K-hypermeasurable cardinal, a model is produced in which 21 = A+ if A is a successor cardinal and 21 = A++ if A is a limit cardinal. The proof uses a Reverse EastonExpand
On the singular cardinals problem I
We show how to get a model of set theory in which ℵω is a strong limit cardinal which violates the generalized continuum hypothesis. Generalizations to other cardinals are also given.
The core model for sequences of measures. I
The model K ( ) presented in this paper is a new inner model of ZFC which can contain measurable cardinals of high order. Like the model L ( ) of [14], from which it is derived, K ( ) is constructedExpand