The definable cut of a model of set theory can be changed by small forcing

Cupid carving his bow -- ParmigianinoIf 𝑀 is a model of ZFC set theory, let 𝐼 be the definable cut of its ordinals, the collection of ordinals that are below an ordinal 𝛿 of 𝑀 that is definable in 𝑀 without parameters. This would include all the ordinals of 𝑀, if the definable ordinals happen to be unbounded in 𝑀, but one can also construct examples where the definable cut is bounded in 𝑀.  Let 𝑀𝐼 be the corresponding definable cut of 𝑀 itself, the rank-initial segment of 𝑀 determined by 𝐼, or in other words, the collection of all sets π‘₯ in 𝑀 of rank below a definable ordinal of 𝑀. Equivalently, 𝑀𝐼=β‹ƒπ›ΏβˆˆπΌπ‘‰π‘€π›Ώ. It is not difficult to see that this is an elementary substructure 𝑀𝐼 ≺𝑀, because we can verify the Tarski-Vaught criterion as follows. If 𝑀 βŠ§βˆƒπ‘¦ πœ‘⁑(π‘₯,𝑦), where π‘₯ βˆˆπ‘€πΌ, then let 𝛿 be a definable ordinal above the rank of π‘₯. In this case, the ordinal πœƒ, which is the supremum over all π‘Ž βˆˆπ‘‰π›Ώ of the minimal rank of a set 𝑦 for which πœ‘β‘(π‘Ž,𝑦), if there is such a 𝑦. This supremum πœƒ is definable, and so since π‘₯ βˆˆπ‘‰π›Ώ, the minimal rank of a 𝑦 such that πœ‘β‘(π‘₯,𝑦) is at most πœƒ. Consequently, since πœƒ ∈𝐼, such a 𝑦 can be found in 𝑀𝐼. So we have found the desired witness inside the substructure, and so it is elementary 𝑀𝐼 ≺𝑀. Note that in the general case, one does not necessarily know that 𝐼 has a least upper bound in 𝑀. Under suitable assumptions, it can happen that 𝐼 is unbounded in 𝑀, that 𝐼 is an ordinal of 𝑀, or that 𝐼 is bounded in 𝑀, but has no least upper bound.

What I am interested in for this post is how the definable cut might be affected by forcing. Of course, it is easy to see that if 𝑀 is definable in 𝑀⁑[𝐺], then the definable cut of 𝑀⁑[𝐺] is at least as high as the definable cut of 𝑀, simply because the definable ordinals of 𝑀 remain definable in 𝑀⁑[𝐺].

A second easy observation is that if the definable cut of 𝑀 is bounded in 𝑀, then we could perform large collapse forcing, collapsing a cardinal above 𝐼 to πœ”, which would of course make every cardinal of 𝐼 countable in the extension 𝑀⁑[𝐺]. In this case, since πœ”π‘€β‘[𝐺]1 is definable, it would change the definable cut. So this kind of very large forcing can change the definable cut, making it larger.

But what about small forcing? Suppose that the forcing notion β„™ we intend to forcing with is small in the sense that it is in the definable cut 𝑀𝐼. This would be true if β„™ itself were definable, for example, but really we only require that β„™ has rank less than some definable ordinal of 𝑀. Can this forcing change the definable cut?

Let me show at least that the definable cut can never go up after small forcing.

Theorem. If 𝐺 βŠ‚β„™ is 𝑀-generic for forcing β„™ in the definable cut of 𝑀, then the definable cut of 𝑀⁑[𝐺] is below or the same in the ordinals as it was in 𝑀.

Proof. Suppose that 𝐺 βŠ‚β„™ is 𝑀-generic, and we consider the forcing extension 𝑀⁑[𝐺]. We have already proved that 𝑀𝐼 ≺𝑀 is an elementary submodel. I claim that this relation lifts to the forcing extension 𝑀𝐼⁑[𝐺] ≺𝑀⁑[𝐺]. Note first that since β„™ βˆˆπ‘€πΌ and 𝑀𝐼 is a rank initial segment of 𝑀, it follows that 𝑀𝐼 has all the subsets of β„™ in 𝑀, and so 𝐺 is 𝑀𝐼-generic. So the extension 𝑀𝐼⁑[𝐺] makes sense. Next, suppose that 𝑀⁑[𝐺] βŠ§πœ‘β‘(π‘Ž) for some π‘Ž βˆˆπ‘€πΌβ‘[𝐺]. If Λ™π‘Ž is a name for π‘Ž in 𝑀𝐼, then there is some condition 𝑝 ∈𝐺 forcing πœ‘β‘(Λ™π‘Ž) over 𝑀. Since 𝑀𝐼 ≺𝑀, this is also forced by 𝑝 over 𝑀𝐼, and thus 𝑀𝐼⁑[𝐺] βŠ§πœ‘β‘(π‘Ž) as well, as desired. So 𝑀𝐼⁑[𝐺] ≺𝑀⁑[𝐺], and from this it follows that every definable ordinal of 𝑀⁑[𝐺] is in the cut 𝐼. So the definable cut did not get higher. QED

But can it go down? Not if the model 𝑀 is definable in 𝑀⁑[𝐺], by our earlier easy observation. Consequently,

Theorem. If 𝑀 is definable in 𝑀⁑[𝐺], where 𝐺 βŠ‚β„™ is 𝑀-generic for forcing β„™ below the definable cut of 𝑀, then the definable cut of 𝑀⁑[𝐺] is the same as the definable cut of 𝑀.

Proof. It didn’t go down, since 𝑀 is definable in 𝑀⁑[𝐺]; and it didn’t go up, since β„™ was small. QED

What if 𝑀 is not definable in 𝑀⁑[𝐺]? Can we make the definable cut go down after small forcing? The answer is yes.

Theorem. If ZFC is consistent, then there is a model 𝑀 ⊧ZFC with a definable notion of forcing β„™ (hence in the definable cut of 𝑀), such that if 𝐺 βŠ‚β„™ is 𝑀-generic, then the definable cut of the forcing extension 𝑀⁑[𝐺] is strictly shorter than the definable cut of 𝑀⁑[𝐺].

Proof. Start with a model of ZFC+𝑉 =𝐿, whose definable ordinals are bounded by a cardinal 𝛿. Let’s call it 𝐿, and let 𝐼 be the definable cut of 𝐿, which we assume is bounded by 𝛿. Let 𝑀 =𝐿⁑[𝐺] be the forcing extension of 𝐿 obtained by performing an Easton product, adding a Cohen subset to every regular cardinal above 𝛿 in 𝐿. Since this forcing adds no sets below 𝛿, but adds a Cohen set at 𝛿+, it follows that 𝛿 becomes definable in 𝐿⁑[𝐺]. In fact, since the forcing is homogeneous and definable from 𝛿, it follows that the definable ordinals of 𝐿⁑[𝐺] are precisely the ordinals that are definable in 𝐿 with parameter 𝛿. These may be bounded or unbounded in 𝐿⁑[𝐺]. Now, let β„š be the Easton product forcing at the stages below 𝛿, and suppose that 𝐺 βŠ‚β„š is 𝐿⁑[𝐺]-generic. Consider the model 𝐿⁑[𝐺]⁒[𝐻]. Note that the forcing β„š is definable in 𝐿⁑[𝐺], since 𝛿 is definable there. This two-step forcing can be combined into one giant Easton product in 𝐿, the product that simply forces to add a Cohen subset to every regular cardinal. Since this version of the forcing is homogeneous and definable in 𝐿, it follows that the definable ordinals of 𝐿⁑[𝐺]⁒[𝐻] are precisely the definable ordinals of 𝐿, which are bounded by 𝐼. In summary, the definable cut of 𝐿⁑[𝐺] is strictly above 𝛿, since 𝛿 is definable in 𝐿⁑[𝐺], and the forcing β„š has size and rank 𝛿; but the forcing extension 𝐿⁑[𝐺]⁒[𝐻] has definable cut 𝐼, which is strictly bounded by 𝛿. So the definable cut was made smaller by small forcing, as claimed. QED

This post is an account of some ideas that Alexander Block and I had noted today during the course of our mathematical investigation of another matter.