The vanishing levels of a tree
Abstract
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.
Keywords
Cite
@article{arxiv.2309.03821,
title = {The vanishing levels of a tree},
author = {Assaf Rinot and Shira Yadai and Zhixing You},
journal= {arXiv preprint arXiv:2309.03821},
year = {2023}
}
Comments
Added a 6th section