Article ID Journal Published Year Pages File Type
8904265 Annals of Pure and Applied Logic 2018 42 Pages PDF
Abstract
We prove the consistency, assuming an ineffable cardinal, of the statement that CH holds and any two normal countably closed ω2-Aronszajn trees are club isomorphic. This work generalizes to higher cardinals the property of Abraham-Shelah [1] that any two normal ω1-Aronszajn trees are club isomorphic, which follows from PFA. The statement that any two normal countably closed ω2-Aronszajn trees are club isomorphic implies that there are no ω2-Suslin trees, so our proof also expands on the method of Laver-Shelah [5] for obtaining the ω2-Suslin hypothesis.
Related Topics
Physical Sciences and Engineering Mathematics Logic
Authors
,