预温顺性与 Ord-链条件的刻画
逻辑
2017-10-31 v1
摘要
众所周知，预温顺性蕴含力迫定理，且预温顺性由 公理（即不含幂集公理的 ，或等价地，由替换公理模式）在 模型上的类力迫下的保持性所刻画。我们证明预温顺性实际上还有多种其他刻画，例如通过力迫定理、分离公理模式的保持性、偏序及其稠密子序的力迫等价性，以及序数集的良名之存在性。这些结果表明预温顺性是类力迫中良态与劣态概念之间的强分界线，并且它正是类力迫应用中应当考虑的正确概念。此外，对于所考虑的大多数性质，我们也给出了 -链条件相应的刻画。
引用
@article{arxiv.1710.10825,
title = {Characterizations of pretameness and the Ord-cc},
author = {Peter Holy and Regula Krapf and Philipp Schlicht},
journal= {arXiv preprint arXiv:1710.10825},
year = {2017}
}