Form equivalence class Howard-Rubin Number: 1
Statement: Let \(L\) be a complete distributive lattice withat least two elements and let \(A\) be a proper subset of \(L\) such thatfor all \(x\in L\) and \(a\in A\), \(x\le a\) implies \(x\in a\). Then thereis an ultrafilter \(M\) disjoint form \(A\). Banaschewski [1961].
Howard-Rubin number: 1 DE
Citations (articles):
Connections (notes):
References (books):
Back