Form equivalence class Howard-Rubin Number: 43
Statement: \(Z_{\omega}\): If every chain in a partially orderedset \(P\) is finite, then \(P\) contains a maximal element.Tarski [1948], Wolk [1983], and Note 54.
Howard-Rubin number: 43 L
Citations (articles):
Connections (notes):
References (books):
Back