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