结构反射、精明基数与连续统的势

受 Bagaria、Magidor 与 Väänänen 结果的启发，我们通过针对结构类的反射原理来研究大基数性质的特征刻画。更具体地，我们旨在通过 Bagaria 与 Väänänen 引入的原理 $\mathrm{SR}^-$ 来刻画大基数层级下端附近的一些概念。我们的结果分离出大基数层级中一个狭窄区间，其下界为全不可描述性、上界为精妙性，并包含所有可通过固定层次的 Lévy 层级中公式所定义的结构类上原理 $\mathrm{SR}^-$ 的有效性来刻画的大基数。此外，事实证明，任何可通过该原理刻画的性质都无法在证明上蕴含强不可达性。这些结果的证明严重依赖于 Rathjen 在证明论背景下引入的“精明基数”概念，以及类似于 Magidor 对超紧性的经典刻画的这些基数的嵌入刻画。另外，我们表明若干重要的弱大基数性质，如弱不可达性、弱 Mahlo 性与弱 $\Pi^1_n$-不可描述性，可通过原理 $\mathrm{SR}^-$ 的局部化版本得到规范刻画。最后，这些刻画证明中发展的技巧也使我们能够证明 Hamkin 的“弱紧嵌入性质”等价于 Lévy 的弱 $\Pi^1_1$-不可描述性概念。