Form equivalence class Howard-Rubin Number: 1
Statement:
For every set mapping \(f: X\rightarrow [X]^{WO}\)(well ordered subsets of \(X\)) there is a co-well-orderable free subset\(H\). (\(H\) is co-well-orderable if \(X\setminus H\) is well orderable).
Howard-Rubin number: 1 N
Citations (articles):
Brunner [1989]
Set mappings on Dedekind sets
Connections (notes):
Note [22]
Definitions for forms [1 L], [1 M], [1 N],
[10 C] and [132 A]
References (books):
Back