崇尚差异 III
摘要：存在一个超滤器 F，一致地，使得如果 N^l_n=(P^l_n \cup Q^l_n, P^l_n, Q^l_n, R^l_n)（对于l = 1,2，n < ω），P^l_n \cup Q^l_n \subseteq \omega，并且 prod_{n<ω} N^1_n/F 和 prod_{n< ω} N^2_n/F 是强独立性的规范理论 t^ind 的同构模型，那么从 prod_{n<ω} N^1_n/F 到 prod_{n<ω} N^2_n/F 的每个同构都是乘积同构。
作者：Saharon Shelah
论文ID：math/0112237
分类：Logic
分类简称：math.LO
提交时间：2007-05-23