A STRONG REFLECTION PRINCIPLE
2017 ◽
Vol 10
(4)
◽
pp. 651-662
◽
Keyword(s):
AbstractThis article introduces a new reflection principle. It is based on the idea that whatever is true in all entities of some kind is also true in a set-sized collection of them. Unlike standard reflection principles, it does not re-interpret parameters or predicates. This allows it to be both consistent in all higher-order languages and remarkably strong. For example, I show that in the language of second-order set theory with predicates for a satisfaction relation, it is consistent relative to the existence of a 2-extendible cardinal (Theorem 7.12) and implies the existence of a proper class of 1-extendible cardinals (Theorem 7.9).
Keyword(s):
2018 ◽
Keyword(s):
2018 ◽
Vol 12
(4)
◽
pp. 823-860
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):