弱Vopěnka原理的大基数强度
逻辑
2020-01-27 v2
摘要
我们证明弱Vopěnka原理（即序数的反范畴不能被完全嵌入到图范畴中的陈述）等价于大基数原理Ord是Woodin的，后者表明对每个类C都存在一个C-强基数。弱Vopěnka原理已知蕴含真类个可测基数的存在性。我们通过定义其非平凡同态可用作扩展器的结构，从而将该下界改进至最优，由此产生见证某基数的C-强性的初等嵌入。
引用
@article{arxiv.1907.00284,
title = {The large cardinal strength of Weak Vop\v{e}nka's Principle},
author = {Trevor M. Wilson},
journal= {arXiv preprint arXiv:1907.00284},
year = {2020}
}