驯顺性、强幂像与大基数
逻辑
2020-03-13 v6 范畴论
摘要
我们通过可访问函子的强幂像的闭包性质，对从弱紧到强紧范围内的大基数给出了全面的、逐层的刻画。在此过程中，我们表明这些性质也等价于抽象初等类的各种形式的驯顺性。这系统化并推广了 [BU17]、[BTR16]、[Lie18] 与 [LR16] 的结果。
引用
@article{arxiv.1902.10212,
title = {Tameness, powerful images, and large cardinals},
author = {Will Boney and Michael Lieberman},
journal= {arXiv preprint arXiv:1902.10212},
year = {2020}
}