A note on adding isomorphisms and the pseudointersection number
We prove that for every tower $\mathcal T$ there are $\aleph_1$-dense $A$ and $B$ so that any ``reasonable" forcing notion $\mathbb{P}$ -- an adjective that includes all known ones -- for making $A$ and $B$ isomorphic will add a pseudointersection for the tower. This shows in particular that $\mathsf{MA}_{\aleph_1}(σ{\rm -centered})$ holds in all known models of $\mathsf{BA}$, which provides intrigue to well known questions of Todorčević and Steprāns-Watson.
Publication Details
- Journal
- ArXiv.org
- Published
- 2025-10-13
- Primary Topic
- Advanced Topology and Set Theory
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Austrian Science Fund