Does $\mathcal P(\omega) / \mathrm{fin}$ know its right hand from its left?
Logic
2026-01-14 v3 Dynamical Systems
General Topology
Abstract
Let denote the shift automorphism on , defined by setting for all . We show that the Continuum Hypothesis implies the shift automorphism and its inverse are conjugate in the automorphism group of . Due to work of van Douwen and Shelah, it has been known since the 1980's that it is consistent with that and are not conjugate. Our result shows that the question of whether and are conjugate is independent of . As a corollary to the main theorem, we deduce that the structures and are elementarily equivalent in the language of algebraic dynamical systems (Boolean algebras together with an automorphism). This corollary does not depend on the Continuum Hypothesis.
Cite
@article{arxiv.2402.04358,
title = {Does $\mathcal P(\omega) / \mathrm{fin}$ know its right hand from its left?},
author = {Will Brian},
journal= {arXiv preprint arXiv:2402.04358},
year = {2026}
}