
arXiv: math/0011169
AbstractIf T has only countably many complete types, yet has a type of infinite multiplicity then there is a c.c.c. forcing notion such that, in any -generic extension of the universe, there are non-isomorphic models M1 and M2 of T that can be forced isomorphic by a c.c.c. forcing. We give examples showing that the hypothesis on the number of complete types is necessary and what happens if ‘c.c.c’ is replaced by 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.
isomorphism type of a model, potentially isomorphic models, classifiable theory, Mathematics - Logic, countable chain condition, Model-theoretic forcing, c.c.c. forcing, superstable, FOS: Mathematics, Classification theory, stability, and related concepts in model theory, invariants, Logic (math.LO)
isomorphism type of a model, potentially isomorphic models, classifiable theory, Mathematics - Logic, countable chain condition, Model-theoretic forcing, c.c.c. forcing, superstable, FOS: Mathematics, Classification theory, stability, and related concepts in model theory, invariants, Logic (math.LO)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 2 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
