Trivial automorphisms

From MaRDI portal
Publication:466097

DOI10.1007/S11856-014-1048-5zbMATH Open1341.03070arXiv1112.3571OpenAlexW3037719498MaRDI QIDQ466097FDOQ466097

S. Shelah, Ilijas Farah

Publication date: 24 October 2014

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Abstract: 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 consistent with ZFC. In this model every isomorphism between P(omega)/I and any other quotient P(omega)/J over a Borel ideal is trivial for a number of Borel ideals I on omega. We can also assure that the dominating number is equal to aleph1 and that 2aleph1>2aleph0. Therefore the Calkin algebra has outer automorphisms while all automorphisms of P(omega)/Fin are trivial. Proofs rely on delicate analysis of names for reals in a countable support iteration of suslin proper forcings.


Full work available at URL: https://arxiv.org/abs/1112.3571





Cites Work


Cited In (10)






This page was built for publication: Trivial automorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q466097)