Home

# Changing cofinalities and infinite exponents1,2

## Extract

Ever since Cohen invented forcing in 1963, people have studied the properties that cardinals can have in generic extensions of the ground model. A very early result of Lévy shows that if κ is a regular cardinal and λ > κ is strongly inaccessible, then there is a notion of forcing which collapses every cardinal strictly between κ and λ yet preserves every other cardinal. This, of course, answers one question of the genre “What properties can a cardinal have in a generic extension?”

Another question of the same genre that can be asked is the following: Is it possible to have a generic extension of the ground model in which all cardinals are preserved and yet the cofinalities of some cardinals are different? This question was first answered in the affirmative by Prikry, who proved the following theorem.

Theorem 1.1 (Prikry [5]). Assume that V ⊨ “ZFC + κ is measurable”. Then there is a notion of forcing, P, such that for G V-generic over P:

(1) V and V[G] have the same cardinals.

(2) V and V[G] have the same bounded subsets of κ.

(3) V[G], i.e, V[G] ⊨ “κ is Rowbottom”.

(4) V[G] ⊨ “cof(κ) = ω”.

Prikry's result naturally raises the following question: Is it possible to get a generic extension in which cardinals are preserved and yet the cofinalities of certain cardinals are different from the ground model's but are uncountable? This question was first answered in the affirmative by Magidor, who proved the following theorem.

## Corresponding author

University of Miami, Coral Gables, Florida 33124

## Footnotes

Hide All
1

The results obtained in this paper form a portion of the author's doctoral dissertation written at M.I.T. under Professor E. M. Kleinberg, to whom the author is indebted for his aid and encouragement.

2

The author wishes to express his gratitude to the referee of this paper for helpful comments and useful suggestions which considerably improved presentation of the material contained herein.

## References

Hide All
[1]After, A., Large cardinals and relative consistency results, Doctoral Dissertation, M.I.T., 1978.
[2]Henle, J., Aspects of choiceless combinatorial set theory, Doctoral Dissertation, M.I.T., 1976.
[3]Kleinberg, E., Strong partition properties for infinite cardinals, this Journal, vol. 35 (1970), pp. 410428.
[4]Magidor, M., Changing cofinalities of cardinals, Fundamenta Mathematicae, vol. 99 (1978), pp. 6171.
[5]Prikry, K., Changing measurable cardinals into accessible cardinals, Dissertationes Mathematicae, vol. 68 (1970), pp. 552.
[6]Spector, M., Infinite exponent partition relations and forcing, Doctoral Dissertation, M.I.T., 1978.

## Metrics

### Full text viewsFull text views reflects the number of PDF downloads, PDFs sent to Google Drive, Dropbox and Kindle and HTML full text views.

Total number of HTML views: 0
Total number of PDF views: 0 *