

We introduce a forcing notion which forces the P-ideal dichotomy, while every almost Suslin tree from the ground model remains non-special. Thus, while the P-ideal dichotomy implies the Suslin Hypothesis, or equivalently that every Aronszajn tree has an uncountable antichain, it does not imply that every Aronszajn tree has a stationary antichain. © Instytut Matematyczny PAN, 2020
| Funding sponsor | Funding number | Acronym |
|---|---|---|
| Natural Sciences and Engineering Research Council of Canada See opportunities by NSERC | 455916 | NSERC |
| Centre National de la Recherche Scientifique | UMR7585 | CNRS |
The first author was partially supported by the MPNTR grant ON174006. The second author was partially supported by the NSERC grant 455916 and the CNRS grant UMR7585.
© Copyright 2020 Elsevier B.V., All rights reserved.