Form equivalence class Howard-Rubin Number: 14
Statement: For every bounded, distributive lattice\((A,\land,\lor)\) in which \(0\) is \(\land\)-compact, for all \(a\in A\),\(a\ne 0\) and for all sequences \((X_n)_{n\in\omega}\) of subsetsof \(A\), there is a prime filter in \(A\) which contains \(a\) and respectseach \(X_n\). Morillon [1988] and Note 71.
Howard-Rubin number: 14 CH
Citations (articles):
Connections (notes):
References (books):
Back