加载中…
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 .

生成讲解博客的中文版本

生成AI智能校验的中文版本