可测基数与无选择公理
逻辑
2021-11-03 v3
摘要
我们证明:如果存在从宇宙到自身的初等嵌入,则存在一个由可测后继基数组成的真类。
引用
@article{arxiv.2106.05916,
title = {Measurable cardinals and choiceless axioms},
author = {Gabriel Goldberg},
journal= {arXiv preprint arXiv:2106.05916},
year = {2021}
}
备注
27 pages. Added many explanations and fixed a mistake in the treatment of the Ketonen order in ZF that was pointed out by an anonymous referee