对于 Zermelo 集合论,全局选择不是局部选择的保守扩张
逻辑
2024-01-09 v3
摘要
我们证明全局选择不是 ZC 的保守扩张,并且 ZF 并集不能证明对所有 和 都存在 。每个证明都是通过在 的对称扩张内部构造一个病态模型来完成的。
关键词
引用
@article{arxiv.2312.11902,
title = {Global choice is not conservative over local choice for Zermelo set theory},
author = {Elliot Glazer},
journal= {arXiv preprint arXiv:2312.11902},
year = {2024}
}
备注
11 pages