Abstract
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).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
\(\overline{\overline{\gamma }}\) is the image of \(\overline{\gamma }\) under the transitive collapse of Y.
- 2.
For the definition of coherent sequences of extenders \(\overrightarrow{E}\), \(J_{\alpha }^{\overrightarrow{E}}\) and \(\overrightarrow{E}\upharpoonright \alpha \), see [3, Sect. 2.2].
- 3.
All known core models satisfy this convention.
- 4.
Here we use that \(M|\theta \) is definable in \(H_{\theta }\) for regular cardinal \(\theta >\omega _2\).
- 5.
\(\mathscr {M}(0^{\sharp }, \alpha )\) is the unique transitive \((0^{\sharp },\alpha )\)-model. For the definition of \(\mathscr {M}(0^{\sharp }, \alpha )\), I refer to Sect. 2.1.2.
- 6.
Note that \(\mathscr {M}(0^{\dag },\omega , \alpha )\) is the unique transitive \((0^{\dag },\omega ,\alpha )\)-model. For the definition of \(\mathscr {M}(0^{\dag },\omega , \alpha )\), I refer to [5].
References
Cheng, Y.: The strong reflecting property and Harringtonās Principle. Math Logic Quart. 61(4ā5), 329ā340 (2015)
Schindler, Ralf: Proper forcing and remarkable cardinals II. J. Symb. Log. 66, 1481ā1492 (2001)
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)
Mitchell, W.J.: The covering lemma. In: Foreman, M., Kanamori, A. (Eds.) Chapter 18 in Handbook of Set Theory. Springer, Berlin (2010)
Kanamori, A.: Higher Infinite: Large Cardinals in Set Theory from Their Beginnings, 2nd Edn. Springer Monographs in Mathematics, Springer, Berlin (2003)
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ā308
RƤsch, T., Schindler, R.: A new condensation principle. Archive Math. Logic. 44, 159ā166 (2005)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
Ā© 2019 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this chapter
Cite this chapter
Cheng, Y. (2019). The Strong Reflecting Property for L-Cardinals. In: Incompleteness for Higher-Order Arithmetic. SpringerBriefs in Mathematics. Springer, Singapore. https://doi.org/10.1007/978-981-13-9949-7_6
Download citation
DOI: https://doi.org/10.1007/978-981-13-9949-7_6
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-13-9948-0
Online ISBN: 978-981-13-9949-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)