Form equivalence class Howard-Rubin Number: 14
Statement: For any distributive lattice \(D\) with zero and unit,any ideal \(J \subseteq D\) and \(a \not\in J\), there is a prime filter \(F\)such that \(a \in F\) and \(F \cap J = \emptyset\). Banaschewski [1981].
Howard-Rubin number: 14 AE
Citations (articles):
Connections (notes):
References (books):
Back