Assuming OCA_T and MA(σ-linked), every homomorphism from P(N) into a quotient by a countably 80-determined ideal has a continuous lifting on a nonmeager ideal, improving PFA-based results and removing MA for countably generated ideals.
Autohomeomorphisms of pre-images of $\mathbb N^*$
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
In the study of the Stone-\u{C}ech remainder of the real line a detailed study of the Stone-\u{C}ech remainder of the space $\mathbb N\times [0,1]$, which we denote as $\mathbb M$, has often been utilized. Of course the real line can be covered by two closed sets that are each homeomorphic to $\mathbb M$. It is known that an autohomeomorphism of $\mathbb M^*$ induces an autohomeomorphism of $\mathbb N^*$. We prove that it is consistent with there being non-trivial autohomeomorphism of $\mathbb N^*$ that those induced by autohomeomorphisms of $\mathbb M^*$ are trivial.
citation-role summary
citation-polarity summary
fields
math.LO 1years
2024 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
Biba's trick, with applications
Assuming OCA_T and MA(σ-linked), every homomorphism from P(N) into a quotient by a countably 80-determined ideal has a continuous lifting on a nonmeager ideal, improving PFA-based results and removing MA for countably generated ideals.