Iterated Class Forcing

S. Friedman

DOI:10.4310/MRL.1994.V1.N4.A3
Corpus ID: 17778065

Iterated Class Forcing

@article{Friedman1993IteratedCF,
  title={Iterated Class Forcing},
  author={Sy-David Friedman},
  journal={Mathematical Research Letters},
  year={1993},
  volume={1},
  pages={427-436}
}

S. Friedman
Published 8 November 1993
Environmental Science
Mathematical Research Letters

In this paper we isolate the notion of Stratified class forcing and show that Stratification implies cofinality-preservation and is preserved by iterations with the appropriate support. Many familiar class forcings are stratified and therefore can be simultaneously iterated without changing cofinalities, provided the proper support is used. Easton forcing, Backward Easton forcings and some modifications of Jensen coding are stratified. Jensen coding is not stratified but instead obeys a related…

View PDF on arXiv

3 Citations

Easton supported Jensen coding and projective measure without projective Baire

S. Friedman, David Schrittesser
Mathematics
2014

We prove that it is consistent relative to a Mahlo cardinal that all sets of reals definable from countable sequences of ordinals are Lebesgue measurable, but at the same time, there is a…

Generic Saturation

S. Friedman
Mathematics
J. Symb. Log.
1998

It is shown that if a class forcing amenable to L (an L-forcing) has a generic then it has one definable in a set-generic extension of L[O # ], and that for any countable ordinal α there is an L- forcing which has generics but none periodic of period ≤ α.

Projective Measure Without Projective Baire

S. Friedman, David Schrittesser
Mathematics
2010

Wir zeigen ausgehend von der Konsistenzstarke einer Mahlo-Kardinalzahl dass es konistent ist dass alle projektiven Mengen reeller Zahlen messbar sind, wahrend jedoch eine \Delta^1_3 Menge ohne die…