English

Nontrivial automorphisms of $\mathcal P(\omega)/\mathrm{Fin}$ in Cohen models

Logic 2026-03-10 v1 General Topology

Abstract

We show that if κ<ω\kappa < \aleph_\omega Cohen reals are added to a model of CH\mathsf{CH}, then there are nontrivial automorphisms of P(ω)/Fin\mathcal P(\omega)/\mathrm{Fin} in the extension. Under some further hypotheses on the ground model, namely the existence of long enough sage Davies trees (which follows from SCH\mathsf{SCH} plus λ\square_\lambda for every λ\lambda with cf(λ)=ω\mathrm{cf}(\lambda) = \omega), we prove the same result for cardinals κω\kappa \geq \aleph_\omega as well. This extends a result a Shelah and Stepr\={a}ns, who proved the result for κ=2\kappa = \aleph_2.

Keywords

Cite

@article{arxiv.2603.07214,
  title  = {Nontrivial automorphisms of $\mathcal P(\omega)/\mathrm{Fin}$ in Cohen models},
  author = {Will Brian and Alan Dow},
  journal= {arXiv preprint arXiv:2603.07214},
  year   = {2026}
}