Form equivalence class Howard-Rubin Number: 1
Statement: If \((L_i)_{i\in I}\) is a family of completelattices, each of which has at least two elements, then there existsa family \((M_i)_{i\in I}\) of filters such that \(M_i\) is anultrafilter in \(L_i\). Banaschewski [1961].
Howard-Rubin number: 1 DD
Citations (articles):
Connections (notes):
References (books):
Back