Form equivalence class Howard-Rubin Number: 70
Statement:
Every Dedekind infinite set has a non-principal ultrafilter.
Howard-Rubin number: 70 A
Citations (articles):
Connections (notes):
References (books):