English

Force to change large cardinal strength

Logic 2015-06-15 v2

Abstract

This dissertation includes many theorems which show how to change large cardinal properties with forcing. I consider in detail the degrees of inaccessible cardinals (an analogue of the classical degrees of Mahlo cardinals) and provide new large cardinal definitions for degrees of inaccessible cardinals extending the hyper-inaccessible hierarchy. I showed that for every cardinal κ\kappa, and ordinal α\alpha, if κ\kappa is α\alpha-inaccerssible, then there is a P\mathbb{P} forcing that κ\kappa which preserves that α\alpha-inaccessible but destorys that κ\kappa is (α+1)(\alpha+1)-inaccessible. I also consider Mahlo cardinals and degrees of Mahlo cardinals. I showed that for every cardinal κ\kappa, and ordinal α\alpha, there is a notion of forcing P\mathbb{P} such that κ\kappa is still α\alpha-Mahlo in the extension, but κ\kappa is no longer (α+1)(\alpha +1)-Mahlo. I also show that a cardinal κ\kappa which is Mahlo in the ground model can have every possible inaccessible degree in the forcing extension, but no longer be Mahlo there. The thesis includes a collection of results which give forcing notions which change large cardinal strength from weakly compact to weakly measurable, including some earlier work by others that fit this theme. I consider in detail measurable cardinals and Mitchell rank. I show how to change a class of measurable cardinals by forcing to an extension where all measurable cardinals above some fixed ordinal α\alpha have Mitchell rank below α.\alpha. Finally, I consider supercompact cardinals, and a few theorems about strongly compact cardinals. Here, I show how to change the Mitchell rank for supercompactness for a class of cardinals.

Keywords

Cite

@article{arxiv.1506.03432,
  title  = {Force to change large cardinal strength},
  author = {Erin Carmody},
  journal= {arXiv preprint arXiv:1506.03432},
  year   = {2015}
}
R2 v1 2026-06-22T09:51:18.670Z