大基数的模型论刻画
逻辑
2019-03-19 v3
摘要
我们考虑大基数的紧致性刻画。基于 Benda \cite{b-sccomp} 的结果，我们研究了各种逻辑中省略类型的紧致性。在 中，这使我们能够刻画任何用正规超滤子定义的大基数，并且我们还分析了二阶逻辑和排序逻辑。特别地，我们给出了巨基数的省略类型紧致性刻画，其一致性强度超越了 Vop\v{e}nka 原理。
引用
@article{arxiv.1708.07561,
title = {Model-theoretic Characterizations of Large Cardinals},
author = {Will Boney},
journal= {arXiv preprint arXiv:1708.07561},
year = {2019}
}