When dealing with a tree (substring closed subset of $\omega^{< \omega})$\omega^{< \omega})$ a useful operation will frequently be to remove any nodes with finite ordinal rank (i.e., all nodes whose extensions on the tree are bounded in length). This is kinda analagous to the Cantor-Bendixson derivitive but does this operation have a name?
