无选择公理的 PCF 理论
逻辑
2019-01-29 v3
摘要
我们主要研究具有受限选择公理的集合论模型，例如 ZF + DC + “对每一个 lambda，lambda 的可数子集族是良序的”（实为给定 lambda 的局部版本）。在此框架下，pcf 理论的许多内容可以被推广。例如，存在一类正则基数，且我们可以证明基数不等式。
引用
@article{arxiv.math/0510229,
title = {PCF without choice},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/0510229},
year = {2019}
}