On Strong Forms of Reflection in Set Theory

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 :591–600, 2006)) which is compatible with the existence of large cardinals.