< Definition:Rooted Tree | Branch(Redirected from Definition:Finite Branch)Jump to navigation Jump to search
Let $T$ be a rooted tree with root node $r_T$.
Let $\Gamma$ be a branch of $T$.
Then $\Gamma$ is finite if and only if it has exactly one leaf node.
- 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability ... (previous) ... (next): $\S 1.7$: Tableaus