English
Related papers

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

200 papers

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.$

Logic · Mathematics 2017-07-26 Moti Gitik , Mohammad Golshani

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…

Logic · Mathematics 2015-03-17 Moti Gitik , Mohammad Golshani

The purpose of the paper is to produce models V_1 \subset V_2 such that adding kappa-many Cohen reals to V_2 adds lambda Cohen reals to V_1. Some of the results: 1. Suppose that V satisfies GCH, kappa = \cup kappa_n= \cup o(kappa_n). Then…

Logic · Mathematics 2016-09-06 Moti Gitik

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…

Logic · Mathematics 2017-01-17 Mohammad Golshani

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…

Logic · Mathematics 2010-03-17 I. Juhász , Lajos Soukup , Z. Szentmiklóssy

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…

Logic · Mathematics 2025-11-26 Pedro Marun , Saharon Shelah , Corey Bacal Switzer

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…

Logic · Mathematics 2019-08-27 Jonas Reitz

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…

Logic · Mathematics 2020-04-24 Giorgio Laguzzi , Brendan Stuber-Rousselle

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,…

Logic · Mathematics 2026-03-10 Will Brian , Alan Dow

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…

Logic · Mathematics 2008-02-03 Saharon Shelah

We prove it consistent relative to ZFC that all nontrivial forcings of size $\aleph _1$ add a Cohen real.

Logic · Mathematics 2009-09-25 Jindřich Zapletal

Motivated by recent results and questions of D. Raghavan and S. Shelah, we present ZFC theorems on the bounding and various almost disjointness numbers, as well as on reaping and dominating families on uncountable, regular cardinals. We…

Logic · Mathematics 2018-03-09 Vera Fischer , Daniel T. Soukup

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…

Logic · Mathematics 2024-05-22 Tom Benhamou , Moti Gitik

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…

Logic · Mathematics 2020-09-07 Yurii Khomskii , Marlene Koelbing , Giorgio Laguzzi , Wolfgang Wohofsky

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…

Logic · Mathematics 2007-05-23 István Juhász , Saharon Shelah , Lajos Soukup , Zoltán Szentmiklóssy

In this paper we show that, when we iteratively add Sacks reals to a model of ZFC we have for every two reals in the extension a continuous function defined in the ground model that maps one of the reals onto the other.

General Topology · Mathematics 2024-08-27 K. P. Hart , B. J. van der Steeg

We show that, in the model constructed by adding sufficiently many Cohen reals, derived limits are additive on a large class of systems. This generalizes the work of Jeffrey Bergfalk, Michael Hru\v s\'ak, and Chris Lambie-Hanson which…

Logic · Mathematics 2025-01-23 Nathaniel Bannister

We study variants of classical Laver forcing defined from co-ideals and analyze their combinatorial properties in terms of the Kat\v{e}tov order. In particular, we give a Kat\v{e}tov-theoretic characterization of when Laver forcing…

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…

Logic · Mathematics 2015-10-13 Sy David Friedman , Mohammad Golshani

It is a well-known result that, after adding one Cohen real, the transcendence degree of the reals over the ground-model reals is continuum. We extend this result for a set $X$ of finitely many Cohen reals, by showing that, in the forcing…

Logic · Mathematics 2026-01-13 Azul Fatalini , Ralf Schindler
‹ Prev 1 2 3 10 Next ›