The Strong Reflecting Property for L-Cardinals

  • Yong ChengEmail author
Part of the SpringerBriefs in Mathematics book series (BRIEFSMATH)


In this chapter, I develop the full theory of the strong reflecting property for L-cardinals and characterize \(\mathsf{SRP}^{L}(\omega _n)\) for \(n\in \omega \) (cf. Propositions 6.7, 6.8 and Theorem 6.2). I also generalize some results on \(\mathsf{SRP}^{L}(\gamma )\) to \(\mathsf{SRP}^{M}(\gamma )\) for other inner models M (see Theorems 6.1 and 6.4).


  1. 1.
    Cheng, Y.: The strong reflecting property and Harrington’s Principle. Math Logic Quart. 61(4–5), 329–340 (2015)MathSciNetCrossRefGoogle Scholar
  2. 2.
    Schindler, Ralf: Proper forcing and remarkable cardinals II. J. Symb. Log. 66, 1481–1492 (2001)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Steel, R.J.: An outline of inner model theory. In: Foreman, M., Kanamori, A. (Eds.) Chapter 19 in Handbook of Set Theory. Springer, Berlin (2010)Google Scholar
  4. 4.
    Mitchell, W.J.: The covering lemma. In: Foreman, M., Kanamori, A. (Eds.) Chapter 18 in Handbook of Set Theory. Springer, Berlin (2010)Google Scholar
  5. 5.
    Kanamori, A.: Higher Infinite: Large Cardinals in Set Theory from Their Beginnings, 2nd Edn. Springer Monographs in Mathematics, Springer, Berlin (2003)Google Scholar
  6. 6.
    Schindler, R.: Remarkable cardinals. Infinity, Computability, and Metamathematics (Geschke et al., eds.), Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, pp. 299–308Google Scholar
  7. 7.
    Räsch, T., Schindler, R.: A new condensation principle. Archive Math. Logic. 44, 159–166 (2005)Google Scholar

Copyright information

© The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2019

Authors and Affiliations

  1. 1.School of PhilosophyWuhan UniversityWuhanChina

Personalised recommendations