Form equivalence class Howard-Rubin Number: 1
Statement:
If \((P,\le)\) is a quasi-order and \(P \neq \emptyset\) and every antichain is finite, then there is a \(P\) generic filter which is well orderable.
Howard-Rubin number: 1 Z
Citations (articles):
Shannon [1990]
Provable forms of Martin's axiom
Connections (notes):
Note [47]
Definitions from Shannon [1990]
References (books):
Back