Changing cardinal characteristics without changing omega-sequences or cofinalities
classification
🧮 math.LO
keywords
forcingchangingthereautomorphismcardinalchangecharacteristicscofinalities
read the original abstract
We show: There are pairs of universes V_1 subseteq V_2 and there is a notion of forcing P in V_1 such that the change mentioned in the title occurs when going from V_1[G] to V_2[G] for a P-generic filter G over V_2. We use forcing iterations with partial memories. Moreover, we implement highly transitive automorphism groups into the forcing orders.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.