力迫同构 II
逻辑
2007-05-23 v1
摘要
若 T 只有可数多个完全类型,但有一个无穷重数的类型,则存在一个 ccc 力迫概形 Q,使得在宇宙的任意 Q-泛型扩张中,存在 T 的非同构模型 M_1 与 M_2,它们可被一个 ccc 力迫力迫为同构。我们给出例子说明关于完全类型数目的假设是必要的,以及当“ccc”被其他保基数修饰语替换时会发生什么。我们还给出一个例子说明伪初等类的隶属关系可被非常简单的保基数力迫所改变。
引用
@article{arxiv.math/0011169,
title = {Forcing Isomorphism II},
author = {Michael C. Laskowski and Saharon Shelah},
journal= {arXiv preprint arXiv:math/0011169},
year = {2007}
}