Form equivalence class Howard-Rubin Number: 30
Statement:
If \(R\) is a partial ordering in which the set of predecessors of each element is linearly ordered, then there is a linear ordering extending \(R\).
Howard-Rubin number: 30 A
Citations (articles):
Felgner [1969]
Die Existenz wohlgenordneter konfinaler Teilmengen in Ketten und das Aus-wahl-axiom
Connections (notes):
References (books):
Back