
We prove that the statement `For all Borel ideals I and J on $��$, every isomorphism between Boolean algebras $P(��)/I$ and $P(��)/J$ has a continuous representation' is relatively consistent with ZFC. In this model every isomorphism between $P(��)/I$ and any other quotient $P(��)/J$ 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 $\aleph_1$ and that $2^{\aleph_1}>2^{\aleph_0}$. Therefore the Calkin algebra has outer automorphisms while all automorphisms of $P(��)/Fin$ are trivial. Proofs rely on delicate analysis of names for reals in a countable support iteration of suslin proper forcings.
Thoroughly revised version
FOS: Mathematics, Mathematics - Logic, Logic (math.LO)
FOS: Mathematics, Mathematics - Logic, Logic (math.LO)
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 8 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
