Adding a lot of Cohen reals by adding a few
Moti Gitik
Abstract
The purpose of the paper is to produce models V1 ⊂ V2 such that adding kappa-many Cohen reals to V2 adds lambda Cohen reals to V1. Some of the results: 1. Suppose that V satisfies GCH, kappa = kappan= o(kappan). Then there is a cardinal preserving generic extension V1 of V satisfying GCH and having the same reals as V does , so that adding kappa many Cohen reals over V1 produces kappa+ Cohen reals over V. 2. Suppose that V is a model of GCH. Then there is a cofinality preserving extension V1 satisfying GCH so that adding a Cohen real to V1 produces aleph1 Cohen reals over V. 3. There is a pair (W,W1) of generic cofinality preserving etensions of L such that W is contained in W1 and W1 contains a perfect set of W-reals which is not in W. The last statement is a slight improvement of a result of B.Velickovic and H.Woodin on the Prikry problem.
Create a lesson
Related papers
Logarithmic--exponential preparation in sharply o-minimal structures
Gal Binyamini, Oded Carmon, Dmitry Novikov
Stoic Logic and Natural Term Logic
Clarence Lewis Protin
From raw Solvability Complexity Index proofs to Weihrauch degrees
Christopher Sorg
Existence of bases implies the axiom of choice, a foundation-free proof
Gabriel Fernandes, Renan Maneli Mezabarba, Vinicius de Oliveira Rodrigues
Every countable meet-continuous lattice is Scott sober
Xiaoquan Xu, Wei Ji
A minimal type of Morley rank ω in a partial differential field
Piotr Kowalski