泛型大基数与滤子系统
逻辑
2017-04-06 v2
摘要
我们引入 -滤系统的概念，推广了扩展器（extenders）与正规理想塔（towers of normal ideals）的标准定义。这提供了一个以更通用且简洁的方式发展扩展器与塔理论的框架。在此框架下，我们研究泛型大基数性质的可定义性问题。
引用
@article{arxiv.1511.05326,
title = {Generic Large Cardinals and Systems of Filters},
author = {Giorgio Audrito and Silvia Steila},
journal= {arXiv preprint arXiv:1511.05326},
year = {2017}
}
备注
36 pages