pith. sign in

arxiv: math/9609202 · v1 · pith:2QVVHF5Onew · submitted 1996-09-12 · 🧮 math.LO

Generic Saturation

classification 🧮 math.LO
keywords genericforcingdefinableextensionomegaperiodicsenseset-generic
0
0 comments X
read the original abstract

Assuming that ORD is $\omega +\omega $-Erd\"os 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 {\it 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 {\it 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 extension of $L[O^\#]$).

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.