Vive la diff\'erence III

by Shelah. [Sh:509]
Israel J Math, 2008
We show that, consistently, there is an ultrafilter F on omega such that if N^ell_n=(P^ell_n cup Q^ell_n, P^ell_n,Q^ell_n,R^ell_n) (for ell =1,2, n< omega), P^ell_n cup Q^ell_n subseteq omega, and prod limits_{n< omega} N^1_n/ F equiv prod limits_{n< omega}N^2_n/ F are models of the canonical theory t^ind of the strong independence property, then every isomorphism from prod limits_{n< omega} N^1_n/ F onto prod limits_{n< omega} N^2_n/ F is a product isomorphism.

Back to the list of publications