jdh.hamkins.org
The definable cut of a model of set theory can be changed by small forcing
If $M$ is a model of ZFC set theory, let $I$ be the definable cut of its ordinals, the collection of ordinals that are below an ordinal $\delta$ of $M$ that is definable in $M$ without parameters. …