平稳逻辑的 Hanf 数. II. 与其他逻辑的比较
逻辑
2013-10-22 v1
摘要
我们证明 L_{omega, omega}(wo) (良序)、L^c_{omega, omega} (可数集上的量化)、L_{omega, omega}(aa) (平稳逻辑) 与二阶逻辑的 Hanf 数的序关系,在 ZFC 中可证明的约束不外乎先前已知者(那些独立性证明仅假设 CON(ZFC))。我们也得到关于 L_{lambda, mu} 的相应逻辑的结果。
引用
@article{arxiv.math/9201243,
title = {The Hanf numbers of stationary logic. II. Comparison with other logics},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/9201243},
year = {2013}
}