Metodo

International Studies in Phenomenology and Philosophy

Book | Chapter

179394

On strong forms of reflection in set theory

Radek Honzik

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.