Form equivalence class Howard-Rubin Number: 1
Statement:
Hajnal's Free Set Principle: For every set mapping \(f: X\rightarrow [X]^{<\lambda}\) where \(\lambda\) is a well orderable cardinal and \(\lambda< |X|\) there is a free set of cardinality \(|X|\). ((\([X]^{<\lambda}\) is the set of subsets of \(X\) of cardinality \(<\lambda\)).
Howard-Rubin number: 1 L
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