抽象初等类中源于驯服性的大基数公理
逻辑
2016-10-20 v3
摘要
我们证明，在温和的基数算术假设下，关于抽象初等类的各种驯服性断言蕴含大基数的存在性。
引用
@article{arxiv.1509.01191,
title = {Large Cardinal Axioms from Tameness in AECs},
author = {Will Boney and Spencer Unger},
journal= {arXiv preprint arXiv:1509.01191},
year = {2016}
}