树的兄弟节点的 Cantor-Bendixson 秩

类似于拓扑空间，我们通过使用超限递归反复移除树 $T$ 的叶子与孤立顶点，引入树 $T$ 的 Cantor-Bendixson 秩。随后，我们给出树 $T$ 的表示，将其表示为无叶树 $T^\infty$ 并附有一些叶树于 $T^\infty$ 上。借助此表示，我们计数树的兄弟节点，并取得关于 Bonato 与 Tardif 猜想的部分结果。