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.
Recommendations
- Automorphisms of \(\mathcal P(\lambda)/\mathcal I_\kappa \)
- Definable Automorphisms of P(ω)/fin
- Trivial and non-trivial automorphisms of \(\mathcal P(\omega_1)/[\omega_1]^{<\aleph_0}\)
- Non-trivial automorphisms of \({\mathcal {P}}({\mathbb {N}})/[{\mathbb {N}}]^{<\aleph _0}\) from variants of small dominating number
- Continuum-many Boolean algebras of the form Borel
Cites work
- scientific article; zbMATH DE number 1254506 (Why is no real title available?)
- scientific article; zbMATH DE number 702561 (Why is no real title available?)
- scientific article; zbMATH DE number 1113072 (Why is no real title available?)
- scientific article; zbMATH DE number 1962924 (Why is no real title available?)
- scientific article; zbMATH DE number 218608 (Why is no real title available?)
- scientific article; zbMATH DE number 218620 (Why is no real title available?)
- scientific article; zbMATH DE number 2121504 (Why is no real title available?)
- scientific article; zbMATH DE number 787541 (Why is no real title available?)
- scientific article; zbMATH DE number 1420840 (Why is no real title available?)
- scientific article; zbMATH DE number 2204756 (Why is no real title available?)
- scientific article; zbMATH DE number 5785892 (Why is no real title available?)
- A Modification of Shelah's Oracle-C.C. with Applications
- A basis theorem for \(\sum^ 1_ 3\) sets of reals
- Absoluteness, truth, and quotients
- All automorphisms of the Calkin algebra are inner
- Analytic quotients: theory of liftings for quotients over analytic ideals on the integers
- Automorphisms of corona algebras, and group cohomology
- Countable saturation of corona algebras
- Descriptive set theory and definable forcing
- Forcing idealized
- Forcing over models of determinacy
- Homogeneity problems in the theory of Cech compactifications
- How many Boolean algebras \({\mathcal P}(\mathbb{N})/{\mathcal I}\) are there?
- Luzin gaps
- Martin's axiom is consistent with the existence of nowhere trivial automorphisms
- Model theory for metric structures
- Model theory.
- New Radon–Nikodym ideals
- Non-elementary proper forcing
- Non-trivial automorphisms of \({\mathcal {P}}({\mathbb {N}})/[{\mathbb {N}}]^{<\aleph _0}\) from variants of small dominating number
- Norms on possibilities. I. Forcing with trees and creatures
- OCA and automorphisms of \({\mathfrak P}(\omega)/\text{fin}\)
- On Certain Boolean Algebras P(ω)/I
- On Ulam's problem of stability of non-exact homomorphisms
- PFA Implies all Automorphisms are Trivial
- Proper forcing
- Properness Without Elementaricity
- Repercussions of a Problem of Erdős and Ulam on Density Ideals
- Set theory. An introduction to independence proofs
- The Calkin algebra has outer automorphisms
- The autohomeomorphism group of the Cech-Stone compactification of the integers
Cited in
(13)- Trivial endomorphisms of the Calkin algebra
- Isomorphisms of quotients of FDD-algebras
- Trivial and non-trivial automorphisms of \(\mathcal P(\omega_1)/[\omega_1]^{<\aleph_0}\)
- A base-matrix lemma for sets of rationals modulo nowhere dense sets
- Automorphisms of \(\mathcal P(\lambda)/\mathcal I_\kappa \)
- Rigidity conjectures for continuous quotients
- Reduced products of metric structures: a metric Feferman-Vaught theorem
- Non-trivial automorphisms of \({\mathcal {P}}({\mathbb {N}})/[{\mathbb {N}}]^{<\aleph _0}\) from variants of small dominating number
- Automorphisms of corona algebras, and group cohomology
- Continuum-many Boolean algebras of the form Borel
- Between reduced powers and ultrapowers, II.
- Somewhere Trivial Autohomeomorphisms
- PFA(S) and automorphisms of \(\mathcal{P}(\mathbb{N}) / \mathrm{fin}\)
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)
