Statement:
Let \(B\) be a Boolean algebra, \(b\) a non-zero element of \(B\) and \(\{A_i: i\in\omega\}\) a sequence of subsets of \(B\) such that for each \(i\in\omega\), \(A_i\) has a supremum \(a_i\). Then there exists an ultrafilter \(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\).Howard_Rubin_Number: 407
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Bacsich-1972b: Effective equivalents of the Rasiowa-Sikorski lemma
Book references
Note connections: