正则基数上平稳集的完全反射
逻辑
2008-02-03 v1
摘要
正则不可数基数 kappa 的平稳子集 S 在正则基数上完全反射，是指对每个由正则基数组成的高阶平稳集 T ⊆ kappa，存在 alpha ∈ T 使得 S ∩ alpha 是 alpha 的平稳子集。我们证明：断言每个平稳集在正则基数上完全反射的完全反射公理，连同 n-Mahlo 基数的存在性，与 Pi^1_n-不可描述基数的存在性具有等一致性。我们还给出了对 greatly Mahlo 基数的适当推广。
引用
@article{arxiv.math/9204218,
title = {Full reflection of stationary sets at regular cardinals},
author = {Thomas Jech and Saharon Shelah},
journal= {arXiv preprint arXiv:math/9204218},
year = {2008}
}