Trivial automorphisms

Ilijas Farah, Saharon Shelah

We prove that the statement `For all Borel ideals I and J on $\omega$, every isomorphism between Boolean algebras $P(\omega )/I$ and $P(\omega )/J$ has a continuous representation' is relatively co…