Club isomorphisms on higher Aronszajn trees
Logic
2018-06-05 v3
Abstract
We prove the consistency, assuming an ineffable cardinal, that any two normal countably closed -Aronszajn trees are club isomorphic. This work generalizes to higher cardinals the property of Abraham-Shelah that any two normal -Aronszajn trees are club isomorphic, which follows from . The statement that any two normal countably closed -Aronszajn trees are club isomorphic implies that there are no -Suslin trees, so our proof also expands on the method of Laver-Shelah for obtaining the -Suslin hypothesis.
Cite
@article{arxiv.1708.00528,
title = {Club isomorphisms on higher Aronszajn trees},
author = {John Krueger},
journal= {arXiv preprint arXiv:1708.00528},
year = {2018}
}