A note on adding isomorphisms and the pseudointersection number
Logic
2025-10-14 v1 General Topology
Abstract
We prove that for every tower there are -dense and so that any ``reasonable" forcing notion -- an adjective that includes all known ones -- for making and isomorphic will add a pseudointersection for the tower. This shows in particular that holds in all known models of , which provides intrigue to well known questions of Todor\v{c}evi\'c and Stepr\=ans-Watson.
Cite
@article{arxiv.2510.11155,
title = {A note on adding isomorphisms and the pseudointersection number},
author = {Corey Bacal Switzer},
journal= {arXiv preprint arXiv:2510.11155},
year = {2025}
}
Comments
11 pages, submitted