# The number of normal measures

@article{Friedman2009TheNO, title={The number of normal measures}, author={Sy-David Friedman and Menachem Magidor}, journal={The Journal of Symbolic Logic}, year={2009}, volume={74}, pages={1069 - 1080} }

Abstract There have been numerous results showing that a measurable cardinal κ can carry exactly α normal measures in a model of GCH. where α is a cardinal at most κ++. Starting with just one measurable cardinal, we have [9] (for α = 1), [10] (for α = α++, the maximum possible) and [1] (for α = κ+, after collapsing κ++). In addition, under stronger large cardinal hypotheses, one can handle the remaining cases: [12] (starting with a measurable cardinal of Mitchell order α), [2] (as in [12], but…

## 37 Citations

### A definable failure of the singular cardinal hypothesis

- Mathematics
- 2012

We show first that it is consistent that κ is a measurable cardinal where the GCH fails, while there is a lightface definable wellorder of H(κ+). Then with further forcing we show that it is…

### SOME LIFTING ARGUMENTS FOR LARGE AND SMALL CARDINALS

- Mathematics
- 2020

Suppose M and N are transitive models of set theory, P is a forcing notion in M and G is P-generic over M . We say that an elementary embedding j : (M,∈) → (N,∈) lifts to M [G] if there is j : (M…

### Supercompactness and failures of GCH

- Mathematics
- 2012

Let κ < λ be regular cardinals. We say that an embedding j : V → M with critical point κ is λ-tall if λ < j(κ) and M is closed under κ-sequences in V . Silver showed that GCH can fail at a measurable…

### Measurable cardinals and the cofinality of the symmetric group

- Mathematics
- 2010

Assuming the existence of a hypermeasurable cardinal, we construct a model of Set Theory with a measurable cardinalsuch that 2 • = • ++ and the group Sym(•) of all permutations ofcannot be written as…

### Controlling the number of normal measures at successor cardinals

- Mathematics, EconomicsMath. Log. Q.
- 2022

We examine the number of normal measures a successor cardinal can carry, in universes in which the Axiom of Choice is false. When considering successors of singular cardinals, we establish relative…

### A model with a unique normal measure on κ and 2 κ = κ + + from optimal assumptions

- Mathematics, Economics
- 2017

Starting from a model with a measurable cardinal κ of Mitchell order o(κ) = κ, we construct a generic extension where 2 = κ and κ carries a unique normal measure. This answers a question of Friedman…

### Mutually embeddable models of ZFC

- Mathematics
- 2021

We investigate systems of transitive models of ZFC which are elementarily embeddable into each other and the influence of definability properties on such systems. One of Ken Kunen’s best-known and…

### Forcing when there are large cardinals: an introduction

- Mathematics
- 2009

Two ideas in the context of large cardinal forcing are described, which may not be familiar to those who have not worked in this area, that uses large cardinals to obtain interesting properties for singular cardinals.

## References

SHOWING 1-10 OF 19 REFERENCES

### The ⊲-ordering on normal ultrafilters

- MathematicsJournal of Symbolic Logic
- 1985

Mitchell [Mi-i] filled in the gap by constructing models of ZFC + GCH satisfying "there are exactly i normal ultrafilters over K", where i could be K+ or K++ (measured in the model), or anything < K.

### Coding over a measurable cardinal

- MathematicsJournal of Symbolic Logic
- 1989

The purpose of this paper is to extend the coding method (see Beller, Jensen and Welch [82]) into the context of large cardinals and to solve the main difficulty in L[μ] -coding, which lies in the problem of “stationary restraint”.

### Sets Constructible from Sequences of Ultrafilters

- MathematicsJ. Symb. Log.
- 1974

Kunen's methods are extended to arbitrary sequences U of ultrafilters and it is shown that in L[U] the generalized continuum hypothesis is true, there is a Souslin tree, andthere is a well-ordering of the reals.

### Perfect trees and elementary embeddings

- MathematicsJournal of Symbolic Logic
- 2008

The technique is applied to provide a new proof of Woodin's theorem as well as the new result that global domination at inaccessibles (the statement that d(κ) is less than 2κ for inaccessible κ) is internally consistent, given the existence of 0#.

### Large cardinals with few measures

- Mathematics
- 2006

We show, assuming the consistency of one measurable cardinal, that it is consistent for there to be exactly κ + many normal measures on the least measurable cardinal K. This answers a question of…