A view of a semiproper iterated forcing which adds new reals only at limit stages
نویسنده
چکیده
The Strong Reflection Principle (SRP) negates the continuum hypothesis (CH). To iteratively force SRP, we may use notions of forcing which add no new countable sequences of ordinals. Hence the iteration must add new reals at limit stages. We explicate this phenomenon with an example.
منابع مشابه
Subcomplete Forcing and L-Forcing
ABSRACT In his book Proper Forcing (1982) Shelah introduced three classes of forcings (complete, proper, and semi-proper) and proved a strong iteration theorem for each of them: The first two are closed under countable support iterations. The latter is closed under revised countable support iterations subject to certain standard restraints. These theorems have been heavily used in modern set th...
متن کاملA boolean algebraic approach to semiproper iterations
These notes present a compact and self contained development of the theory of iterated forcing with a focus on semiproperness and revised countable support iterations. We shall pursue the approach to iterated forcing devised by Donder and Fuchs in [4], thus we shall present iterated forcing by means of directed system of complete and injective homomorphisms of complete boolean algebras. A guidi...
متن کاملIteration of Semiproper Forcing Revisited
We present a method for iterating semiproper forcing which uses side conditions and is inspired by the technique recently introduced by Nee-
متن کاملCCC Forcing and Splitting Reals
Prikry asked if it is relatively consistent with the usual axioms of ZFC that every nontrivial ccc forcing adds either a Cohen or a random real. Both Cohen and random reals have the property that they neither contain nor are disjoint from an infinite set of integers in the ground model, i.e. they are splitting reals. In this note I show that that it is relatively consistent with ZFC that every ...
متن کاملFew New Reals
We introduce a new method for building models of CH, together with ⇧2 statements over H(!2), by forcing over a model of CH. Unlike similar constructions in the literature, our construction adds new reals, but only @1–many of them. Using this approach, we prove that a very strong form of the negation of Club Guessing at !1 known as Measuring is consistent together with CH, thereby answering a we...
متن کامل