Related papers: Adding a lot of Cohen reals by adding a few

In this paper we produce models $V_1\subseteq V_2$ of set theory such that adding $\kappa$-many Cohen reals to $V_2$ adds $\lambda$-many Cohen reals to $V_1$, for some $\lambda>\kappa$. We deal mainly with the case when $V_1$ and $V_2$ have…

We study pairs $(V, V_{1})$, $V \subseteq V_1$, of models of $ZFC$ such that adding $\kappa-$many Cohen reals over $V_{1}$ adds $\lambda-$many Cohen reals over $V$ for some $\lambda> \kappa$.

We study pairs $(V, V_1)$ of models of $ZFC$ such that adding $\kappa$-many random reals over $V_1$ adds $\lambda$-many random reals over $V$, for some $\lambda > \kappa.$

Let $\kappa$ be an infinite cardinal. Then, forcing with $\mathbb{R}(\kappa)$$\times$$\mathbb{R}(\kappa)$ adds a generic filter for $\mathbb{C}(\kappa);$ where $\mathbb{R}(\kappa)$ and $\mathbb{C}(\kappa)$ are the forcing notions for adding…

In this paper we first formulate several ``combinatorial principles'' concerning kappa \times omega matrices of subsets of omega and prove that they are valid in the generic extension obtained by adding any number of Cohen reals to any…

Abstractly, the generic extensions after $\aleph_\omega$-many Cohen reals and $\aleph_{\omega+1}$-many Cohen reals must be different for reasons of uniform density the relevant Boolean algebras. Nevertheless this is not satisfying and it…

Shelah-Woodin investigate the possibility of violating instances of $GCH$ through the addition of a single real. In particular they show that it is possible to obtain a failure of $CH$ by adding a single real to a model of $GCH$, preserving…

We show that if $\kappa < \aleph_\omega$ Cohen reals are added to a model of $\mathsf{CH}$, then there are nontrivial automorphisms of $\mathcal P(\omega)/\mathrm{Fin}$ in the extension. Under some further hypotheses on the ground model,…

Given an inner model $W \subset V$ and a regular cardinal $\kappa$, we consider two alternatives for adding a subset to $\kappa$ by forcing: the Cohen poset $Add(\kappa,1)$, and the Cohen poset of the inner model $Add(\kappa,1)^W$. The…

We show that supercompactness and strong compactness can be equivalent even as properties of pairs of regular cardinals. Specifically, we show that if V models ZFC + GCH is a given model (which in interesting cases contains instances of…

Starting from the $\rm{GCH},$ we build a cardinal and $\rm{GCH}$ preserving generic extension of the universe, in which there exists a set $A \subseteq \omega_2$ of size $\aleph_2$ so that every countably infinite subset of $A$ or $\omega_2…

Using a theorem from pcf theory, we show that for any singular cardinal nu, the product of the Cohen forcing notions on kappa, kappa < nu adds a generic for the Cohen forcing notion on nu^+. This solves Problem 5.1 in Miller's list…

We show that it is possible to add $\kappa^+-$Cohen subsets to $\kappa$ with a Prikry forcing over $\kappa$. This answers a question from \cite{HayutBenhanouGitik}. A strengthening of non-Galvin property is introduced. It is shown to be…

In this paper we analyse some questions concerning trees on $\kappa$, both for the countable and the uncountable case, and the connections with Cohen reals. In particular, we provide a proof for one of the implications left open in…

Let GCH hold and let $j:V\longrightarrow M$ be a definable elementary embedding such that $crit(j)=\kappa$, $^{\kappa}M\subseteq M$ and $\kappa^{++}=\kappa_{M}^{++}$. H. Woodin proved that there is a cofinality preserving generic extension…

We strengthen the revised GCH theorem by showing, e.g., that for lambda=cf(lambda)>beth_omega, for all but finitely many regular kappa<beth_omega, lambda is accessible on cofinality kappa in a weak version of it holds. In particular,…

Suppose that kappa is a singular cardinal of cofinality omega and GCH holds. Assume that for every n<omega the set of alphas with o(alpha)>= alpha^{+n} is unbounded in kappa.Then there is a cardinal preserving extension satisfying…

We prove that any suitable generalization of Laver forcing to the space $ \kappa^\kappa$, for uncountable regular $\kappa$, necessarily adds a Cohen $\kappa$-real. We also study a dichotomy and an ideal naturally related to generalized…

We show that if we add any number of Cohen reals to the ground model then, in the generic extension, a locally compact scattered space has at most (2^{aleph_0})^V many levels of size omega. We also give a complete ZFC characterization of…

Consider $(\kappa^{+++},\kappa^{++}) \twoheadrightarrow (\kappa^+,\kappa)$ where $\kappa$ is an uncountable regular cardinal. By a result of Shelah's we have $\operatorname{cof}(X \cap \kappa^{++}) = \kappa$ for almost all $X \subset…