English

The vanishing levels of a tree

Logic 2023-09-28 v2

Abstract

We initiate the study of the spectrum Vspec(κ)Vspec(\kappa) of sets that can be realized as the vanishing levels V(T)V(T) of a normal κ\kappa-tree TT. The latter is an invariant in the sense that if TT and TT' are club-isomorphic, then the symmetric difference of V(T)V(T) and V(T)V(T') is nonstationary. Additional features of this invariant imply that Vspec(κ)Vspec(\kappa) is closed under finite unions and intersections. The set V(T)V(T) must be stationary for an homogeneous normal κ\kappa-Aronszajn tree TT, and if there exists a special κ\kappa-Aronszajn tree, then there exists one TT that is homogeneous and satisfies V(T)=κV(T)=\kappa (modulo clubs). It is consistent (from large cardinals) that there is an 2\aleph_2-Souslin tree, and yet V(T)V(T) is co-stationary for every 2\aleph_2-tree T\mathbf T. Both V(T)=V(T)=\emptyset and V(T)=κV(T)=\kappa (modulo clubs) are shown to be feasible using κ\kappa-Souslin trees even at some large cardinal close to a weakly compact. It is also possible to have a family of 2κ2^\kappa many κ\kappa-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