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.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2024 1verdicts
CONDITIONAL 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.