Suslin tree preservation and club isomorphisms
Logic
2025-04-16 v2
Abstract
We construct a model of set theory in which there exists a Suslin tree and satisfies that any two normal Aronszajn trees, neither of which contains a Suslin subtree, are club isomorphic. We also show that if is a free normal Suslin tree, then for any positive integer there is a c.c.c. forcing extension in which is -free but all of its derived trees of dimension greater than are special.
Cite
@article{arxiv.2202.06144,
title = {Suslin tree preservation and club isomorphisms},
author = {John Krueger},
journal= {arXiv preprint arXiv:2202.06144},
year = {2025}
}