Form equivalence class Howard-Rubin Number: 8
Statement: Let \(R\) be a relation and \(R^*\), the transitive closureof \(R\). (\(x\mathrel {R^*}y\) iff there exists a finite ascending \(R\)-chainconnecting \(x\) to \(y\).) If every ascending \(R\)-chain is finite, then everyascending \(R^*\)-chain is finite. Diener [1994].
Howard-Rubin number: 8 G
Citations (articles):
Connections (notes):
References (books):
Back