Forcing Isomorphism II

Simple item page
dc.creatorLaskowski, Michael C.
dc.creatorShelah, Saharon
dc.date2000-11-21
dc.date.accessioned2026-07-07T04:38:45Z
dc.date.available2026-07-07T04:38:45Z
dc.descriptionIf 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.
dc.identifierhttps://arxiv.org/abs/math/0011169
dc.identifierhttp://arxiv.org/abs/math/0011169
dc.identifierJournal of Symbolic Logic, 61(1996):1305--1320
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/60403
dc.subjectLogic
dc.titleForcing Isomorphism II
dc.typetext

Files

Collections

arXiv