pith. sign in

arxiv: 1112.3571 · v2 · pith:AZ5X6KKGnew · submitted 2011-12-15 · 🧮 math.LO

Trivial automorphisms

classification 🧮 math.LO
keywords omegaalephautomorphismsboreltrivialeveryidealsisomorphism
0
0 comments X
read the original 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 $\aleph_1$ and that $2^{\aleph_1}>2^{\aleph_0}$. 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.