Form equivalence class Howard-Rubin Number: 43
Statement: Let \(B\) be a Boolean algebra, \(b\) a non-zero elementof \(B\) and \(\{A_i: i\in\omega\}\) a sequence of subsets of \(B\) such thatfor each \(i\in\omega\), \(A_i\) has a supremum \(a_i\). Then there existsa filter \(D\) in \(B\) such that \(b\in D\) and, for each \(i\in\omega\),if \(a_i\in D\), then \(D\cap\ A_i\neq\emptyset\). Bacsich [1972b].
Howard-Rubin number: 43 AG
Citations (articles):
Connections (notes):
References (books):
Back