Repository | Book | Chapter
On strong forms of reflection in set theory
pp. 125-134
Abstract
In this paper we review the most common forms of reflection and introduce a new form which we call sharp-generated reflection. We argue that sharp-generated reflection is the strongest form of reflection which can be regarded as a natural generalization of the Lévy reflection theorem. As an application we formulate the principle sharp-maximality with the corresponding hypothesis IMH# . IMH# is an analogue of the IMH (Inner Model Hypothesis, introduced in Friedman (Bull Symb Log 12(4):591–600, 2006)) which is compatible with the existence of large cardinals.
Publication details
Published in:
Antos Carolin, Honzik Radek, Ternullo Claudio, Friedman Sy David (2018) The hyperuniverse project and maximality. Dordrecht, Springer.
Pages: 125-134
DOI: 10.1007/978-3-319-62935-3_6
Full citation:
Honzik Radek (2018) „On strong forms of reflection in set theory“, In: C. Antos, R. Honzik, C. Ternullo & S. Friedman (eds.), The hyperuniverse project and maximality, Dordrecht, Springer, 125–134.