Form equivalence class Howard-Rubin Number: 1
Statement: In any complete lattice with at least two elementsthere exists an ultrafilter. Banaschewski [1961].
Howard-Rubin number: 1 DC
Citations (articles):
Connections (notes):
References (books):
Back