On ground model definability

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Abstract: Laver, and Woodin independently, showed that models of

m Z F C

are uniformly definable in their set-forcing extensions, using a ground model parameter. We investigate ground model definability for models of fragments of

m Z F C

, particularly of

m Z F + {m D C}_{d} e l t a

and of

{m Z F C}^{-}

, and we obtain both positive and negative results. Generalizing the results of Laver and Woodin, we show that models of

m Z F + {m D C}_{d} e l t a

are uniformly definable in their set-forcing extensions by posets admitting a gap at

d e l t a

, using a ground model parameter. In particular, this means that models of

m Z F + {m D C}_{d} e l t a

are uniformly definable in their forcing extensions by posets of size less than

d e l t a

. We also show that it is consistent for ground model definability to fail for models of

{m Z F C}^{-}

of the form

H_{k a p p a^{+}}

. Using forcing, we produce a

m Z F C

universe in which there is a cardinal

k a p p a >! > o m e g a

such that

H_{k a p p a^{+}}

is not definable in its Cohen forcing extension. As a corollary, we show that there is always a countable transitive model of

{m Z F C}^{-}

violating ground model definability. These results turn out to have a bearing on ground model definability for models of

m Z F C

. It follows from our proof methods that the hereditary size of the parameter that Woodin used to define a

m Z F C

model in its set-forcing extension is best possible.

Recommendations

Cited in

(4)

This page was built for publication: On ground model definability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4982454)