Form equivalence class Howard-Rubin Number: 132
Statement:
Every set mapping \(f: X\rightarrow [X]^{WO}\) (well orderable subsets of \(X\)) on a Dedekind finite, infinite set \(X\) has an infinite free subset.
Howard-Rubin number: 132 A
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]
Note [94]
Relationships between the different definitions of finite
References (books):
Back