Trivial automorphisms
Logic
2012-11-16 v2
Abstract
We prove that the statement `For all Borel ideals I and J on , every isomorphism between Boolean algebras and has a continuous representation' is relatively consistent with ZFC. In this model every isomorphism between and any other quotient over a Borel ideal is trivial for a number of Borel ideals I on . We can also assure that the dominating number is equal to and that . Therefore the Calkin algebra has outer automorphisms while all automorphisms of are trivial. Proofs rely on delicate analysis of names for reals in a countable support iteration of suslin proper forcings.
Cite
@article{arxiv.1112.3571,
title = {Trivial automorphisms},
author = {Ilijas Farah and Saharon Shelah},
journal= {arXiv preprint arXiv:1112.3571},
year = {2012}
}
Comments
Thoroughly revised version