English

Mitchell rank for supercompactness

Logic 2026-02-11 v2

Abstract

This paper defines a Mitchell rank for supercompact cardinals. If κ\kappa is a θ\theta-supercompact cardinal then oθsc(κ)=sup{oθsc(μ)+1  μm(κ)}o_{\theta-sc}(\kappa) = \sup \{ o_{\theta-sc}(\mu) + 1 \ | \ \mu \in m(\kappa)\}, where m(κ)m(\kappa) is the collection of normal fine measures on PκθP_{\kappa}\theta. We show how to force to kill the degree of a measurable cardinal κ\kappa to any specified degree which is less than or equal to the degree of κ\kappa in the ground model. We will also show how to softly kill the Mitchell rank for supercompactness of any supercompact cardinal so that in the forcing extension it is any desired degree less than or equal to its degree in the ground model, along with some results concerning strongly compact cardinals.

Cite

@article{arxiv.2602.08852,
  title  = {Mitchell rank for supercompactness},
  author = {Erin Carmody},
  journal= {arXiv preprint arXiv:2602.08852},
  year   = {2026}
}

Comments

arXiv admin note: substantial text overlap with arXiv:1506.03432

R2 v1 2026-07-01T10:28:14.405Z