Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
8904265 | Annals of Pure and Applied Logic | 2018 | 42 Pages |
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
John Krueger,