Remarkable cardinal

From Cantor's Attic
Jump to: navigation, search

Remarkable cardinals were introduced by Schinder in [1] to provide precise consistency strength of the statement that $L(\mathbb R)$ cannot be modified by proper forcing. A cardinal $\kappa$ is remarkable if for each regular $\lambda>\kappa$, there exists a countable transitive $M$ and an elementary embedding $e:M\rightarrow H_\lambda$ with $\kappa\in \text{ran}(e)$ and also a countable transitive $N$ and an elementary embedding $\theta:M\to N$ such that:

  • the critical point of $\theta$ is $e^{-1}(\kappa)$,
  • $\text{Ord}^M$ is a regular cardinal in $N$,
  • $M=H^N_{\text{Ord}^M}$,
  • $\theta(e^{-1}(\kappa))>\text{Ord}^M$.

Remarkable cardinals and the constructible universe

  • Remarkable cardinals are downward absolute to $L$. [1]
  • If $0^\sharp$ exists, then every Silver indiscernible is remarkable in $L$. [1]

Relations with other large cardinals

  • Strong cardinals are remarkable. [1]
  • A [[$\alpha$-iterable|$2$-iterable]] cardinal implies the consistency of a remarkable cardinal. [2]
  • Remarkable cardinals imply the consistency of [[$\alpha$-iterable|$1$-iterable cardinals]]. [2]
  • Remarkable cardinals are totally indescribable. [1]
  • Remarkable cardinals are totally ineffable. [1]

References

  1. Schindler, Ralf-Dieter. Proper forcing and remarkable cardinals. Bull Symbolic Logic 6(2):176--184, 2000. www   DOI   MR   bibtex
  2. Gitman, Victoria and Welch, Philip. Ramsey-like cardinals II. J Symbolic Logic 76(2):541--560, 2011. www   arχiv   MR   bibtex
Main library