paper

Nontrivial automorphisms of in Cohen models

arXiv:2603.07214

Abstract

We show that if Cohen reals are added to a model of , then there are nontrivial automorphisms of in the extension. Under some further hypotheses on the ground model, namely the existence of long enough sage Davies trees (which follows from plus for every with ), we prove the same result for cardinals as well. This extends a result a Shelah and Steprāns, who proved the result for .