Vive la différence. III

DOI10.1007/S11856-008-1020-3zbMATH Open1154.03011arXivmath/0112237OpenAlexW2054660396MaRDI QIDQ948874FDOQ948874

Authors: S. Shelah 

Publication date: 16 October 2008

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Abstract: 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.

Full work available at URL: https://arxiv.org/abs/math/0112237

Recommendations

• scientific article; zbMATH DE number 218626
• Constructive ultraproducts and isomorphisms of recursively saturated ultrapowers
• The Keisler-Shelah isomorphism theorem and the continuum hypothesis. II
• On the independence property of first-order theories and indiscernible sequences
• Theories with Ehrenfeucht-Fraïssé equivalent non-isomorphic models
• Constructing strongly equivalent nonisomorphic models for unstable theories
• scientific article; zbMATH DE number 4027456
• Between strong and superstrong
• External automorphisms of ultraproducts of finite models

zbMATH Keywords

forcingultrafilterultraproductstrong independence property

Mathematics Subject Classification ID

Consistency and independence results (03E35) Properties of classes of models (03C52) Ultraproducts and related constructions (03C20)

Cites Work

• Classification theory and the number of non-isomorphic models.
• Model theory
• Classification theory and the number of non-isomorphic models
• Every two elementarily equivalent models have isomorphic ultrapowers
• Ultraproducts which are not saturated
• Title not available (Why is that?)
• Models with second order properties I. Boolean algebras with no definable automorphisms
• Models with second order properties. V: A general principle
• Models with second order properties. IV. A general method and eliminating diamonds
• Vive la différence. II: The Ax-Kochen isomorphism theorem
• Title not available (Why is that?)

Cited In (7)

• Non-reflection of the bad set for \(\check{I}_\theta[\lambda]\) and pcf
• External automorphisms of ultraproducts of finite models
• Between reduced powers and ultrapowers, II.
• Automorphism groups of ultraproducts of finite symmetric groups
• A dichotomy for the number of ultrapowers
• Vive la différence. II: The Ax-Kochen isomorphism theorem
• The Keisler-Shelah isomorphism theorem and the continuum hypothesis. II

This page was built for publication: Vive la différence. III

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q948874)