Minimal walk along a club sequence
= Minimal walk along a club sequence
{title2=$\rho_\beta(\alpha)$}
= Minimal walks along a club sequence
{synonym}
To walk from $\beta$ to $\alpha<\beta$, start at $\beta$ and repeatedly move from $\delta$ to $\min(C_\delta\setminus\alpha)$ until reaching $\alpha$. The strict decrease in <ordinals> makes the walk finite. Its trace records the successive $C_\delta\cap\alpha$.