Vive la difference III
逻辑
2007-05-23 v1
摘要
We show that, consistently, there is an ultrafilter F on omega such that if N^l_n=(P^l_n cup Q^l_n,P^l_n,Q^l_n,R^l_n) (for l =1,2, n< omega), P^l_n cup Q^l_n subseteq omega, and prod_{n<omega} N^1_n/F and prod_{n< omega}N^2_n/F are isomorphic models of the canonical theory t^ind of the strong independence property, then every isomorphism from prod_{n<omega} N^1_n/F onto prod_{n<omega} N^2_n/F is a product isomorphism.
关键词
引用
@article{arxiv.math/0112237,
title = {Vive la difference III},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/0112237},
year = {2007}
}