Nontrivial automorphisms of $\mathcal P(ω)/\mathrm{Fin}$ in Cohen models
We show that if $κ< \aleph_ω$ Cohen reals are added to a model of $\mathsf{CH}$, then there are nontrivial automorphisms of $\mathcal P(ω)/\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 $\mathsf{SCH}$ plus $\square_λ$ for every $λ$ with $\mathrm{cf}(λ) = ω$), we prove the same result for cardinals $κ\geq \aleph_ω$ as well. This extends a result a Shelah and Steprāns, who proved the result for $κ= \aleph_2$.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.07214
curl -X POST /api/v1/records/arxiv/2603.07214/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.07214/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'