力迫中的极大性原理与选择公理
逻辑
2011-05-27 v1
摘要
本文证明了力迫中的极大性原理等价于选择公理。极大性原理是力迫的性质：p ||- exists x theta(x) 当且仅当对于某个名字 tau，p ||- theta(tau)。我们还考察了基本Cohen模型中选择公理不成立时的三个类似偏序。我们表明，尽管它们表面上相似，但三者中仅有一个满足极大性原理。
引用
@article{arxiv.1105.5324,
title = {The maximum principle in forcing and the axiom of choice},
author = {Arnold W. Miller},
journal= {arXiv preprint arXiv:1105.5324},
year = {2011}
}