Club isomorphisms on higher Aronszajn trees

Abstract: We prove the consistency, assuming an ineffable cardinal, that any two normal countably closed

o m e g a_{2}

-Aronszajn trees are club isomorphic. This work generalizes to higher cardinals the property of Abraham-Shelah that any two normal

o m e g a_{1}

-Aronszajn trees are club isomorphic, which follows from

e x t s f P F A

. The statement that any two normal countably closed

o m e g a_{2}

-Aronszajn trees are club isomorphic implies that there are no

o m e g a_{2}

-Suslin trees, so our proof also expands on the method of Laver-Shelah for obtaining the

o m e g a_{2}

-Suslin hypothesis.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Club isomorphisms on higher Aronszajn trees