We initiate the study of the spectrum of sets that can be realized as the vanishing levels of a normal -tree . The latter is an invariant in the sense that if and are club-isomorphic, then the symmetric difference of and is nonstationary. Additional features of this invariant imply that is closed under finite unions and intersections. The set must be stationary for an homogeneous normal -Aronszajn tree , and if there exists a special -Aronszajn tree, then there exists one that is homogeneous and satisfies (modulo clubs). It is consistent (from large cardinals) that there is an -Souslin tree, and yet is co-stationary for every -tree . Both and (modulo clubs) are shown to be feasible using -Souslin trees even at some large cardinal close to a weakly compact. It is also possible to have a family of many -Souslin trees for which the corresponding family of vanishing levels forms an antichain modulo clubs.

生成讲解博客的中文版本

生成AI智能校验的中文版本