Forcing isomorphism II

DOI10.2307/2275818MaRDI QIDQ3128475zbMATH OpenOpenAlexFDO

Authors S. Shelah, M. C. Laskowski

Publication date 15 December 1997

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

c.c.c. forcingclassifiable theorycountable chain conditioninvariantsisomorphism type of a modelpotentially isomorphic modelssuperstable

Mathematics Subject Classification ID

Model-theoretic forcing (03C25) Classification theory, stability, and related concepts in model theory (03C45)

Abstract: If T has only countably many complete types, yet has a type of infinite multiplicity then there is a ccc forcing notion Q such that, in any Q --generic extension of the universe, there are non-isomorphic models M_1 and M_2 of T that can be forced isomorphic by a ccc forcing. We give examples showing that the hypothesis on the number of complete types is necessary and what happens if `ccc' is replaced other cardinal-preserving adjectives. We also give an example showing that membership in a pseudo-elementary class can be altered by very simple cardinal-preserving forcings.

Review text

In Part I [ibid. 58, No. 4, 1291-1301 (1993; Zbl 0805.03015)], \textit{J. T. Baldwin} and the authors proved that if a countable theory \(T\) is not classifiable, then there are non-isomorphic, potentially isomorphic models of \(T\) of size \(2^\omega\). The main result of this second part is the following: If \(T\) is superstable and \(D(T)\) is countable but has a type of infinite multiplicity, then there is a c.c.c. forcing \(Q\) such that \(\Vdash_Q\)``There are two non-isomorphic, potentially isomorphic models of \(T\). This yields that if \(D(T)\) is countable, yet has a type of infinite multiplicity, then there is a c.c.c. forcing \(Q\) such that in any \(Q\)-generic extension of the universe, there are two non-isomorphic models of \(T\) that can be forced isomorphic by a c.c.c. forcing. A consequence of these results is that the system of invariants for the isomorphism type of a model of a classifiable theory mentioned above cannot be simplified significantly.

Recommendations

• Forcing isomorphism
• On potential isomorphism and non-structure
• On the number of nonisomorphic models of size |T|
• scientific article; zbMATH DE number 3557787
• Classification theory and the number of non-isomorphic models.

Cites work

• Forcing isomorphism
• scientific article; zbMATH DE number 40985 (Why is no real title available?)
• scientific article; zbMATH DE number 3206556 (Why is no real title available?)

Cited in

(9)

• \({\mathcal M}\)-gap conjecture and \(m\)-normal theories
• On potential isomorphism and non-structure
• Characterizing an \(\aleph_\varepsilon\)-saturated model of superstable NDOP theories by its \(\mathbb{L}_{\infty, \aleph_\varepsilon}\)-theory
• Classification theory and 0^#
• Omitting types for stable ccc theories
• scientific article; zbMATH DE number 3557787 (Why is no real title available?)
• Forcing isomorphism
• Twins: non-isomorphic models forced to be isomorphic. I
• Constructions of many complicated uncountable structures and Boolean algebras

This page was built for publication: Forcing isomorphism II

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