Generic Saturation

@article{Friedman1998GenericS,
  title={Generic Saturation},
  author={Sy-David Friedman},
  journal={J. Symb. Log.},
  year={1998},
  volume={63},
  pages={158-162}
}
  • S. Friedman
  • Published 12 September 1996
  • Mathematics, Computer Science
  • J. Symb. Log.
Assuming that ORD is ω+ω-Erdös we show 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 # ]. In fact we may choose such a generic to be periodic in the sense that it preserve the indiscernibility of a final segment of a periodic subclass of the Silver indiscernibles, and therefore to be almost codable in the sense that it is definable from a real which is generic for an L-forcing (and which belongs to a set-generic… 
Cardinal-preserving extensions
  • S. Friedman
  • Computer Science, Mathematics
    Journal of Symbolic Logic
  • 2003
TLDR
It is shown that there is not a similar result for subsets of ω 2 L, and a number of related problems are considered, examining the extent to which they are “solvable” in the above sense.
0# and inner models
  • S. Friedman
  • Mathematics, Computer Science
    Journal of Symbolic Logic
  • 2002
TLDR
It is shown, assuming that 0# exists, that such models necessarily contain Mahlo cardinals of high order, but without further assumptions need not contain a cardinal κ which is κ-Mahlo.
Completeness and Iteration in Modern Set Theory
Set theory entered the modern era through the work of Godel and Cohen. This work provided set-theorists with the necessary tools to analyse a large number of mathematical problems which are

References

SHOWING 1-4 OF 4 REFERENCES
Iterated Class Forcing
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
Friedman 90] The 1 2 -Singleton Conjecture
  • Journal of the AMS
Friedman 94] Iterated Class Forcing
  • Mathematical Research Letters
Friedman 97] Fine Structure and Class Forcing, book manuscript
  • Friedman 97] Fine Structure and Class Forcing, book manuscript