差异万岁 I: 可数模型超幂的不同构
逻辑
2008-02-03 v1
摘要
我们证明 ZFC 中不可证明:任意两个可数初等等价结构关于 omega 上某超滤子具有同构的超幂。
引用
@article{arxiv.math/9201245,
title = {Viva la difference I: Nonisomorphism of ultrapowers of countable models},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/9201245},
year = {2008}
}