1 problem

The PFA(S)[S] conjecture on first-countable perfect pre-images of $\omega_1$
PFA(S)[S] conjecture. Under $\mathrm{PFA}(S)[S]$ , every first-countable perfect pre-image of $\omega_1$ includes a copy of $\omega_1$ .
openforcing-axioms locally-compact-spaces set-theoretic-topology
0 responses
04

The PFA(S)[S] conjecture on first-countable perfect pre-images of ω1\omega_1ω1​