On strengthenings of superstrong cardinals

摘要

We consider some natural strengthenings of the well-known notion of superstrong cardinal, looking at their corresponding C(n)-versions as well, studying their properties and their connections with other usual large cardinals. In particular, we introduce the notions of C(n)-ultrastrongness and of C(n)-global superstrongness. As it turns out, the former is closely related to C(n)-extendibility, a rather robust large cardinal assumption that has found applications in other mathematical areas, while for the latter, among other things, we show that appropriate Laver functions exist, making it the second known example of a C(n)-hierarchy that has this feature.