Form equivalence class Howard-Rubin Number: 43
Statement: Tarski's Lemma: Let \(\{x(n): n\in\omega\}\) be adenumerable collection of subsets of a Boolean algebra \(B\) each ofwhich has a meet in B. Then for any \(a \neq 0\) in \(B\) there is aproper filter \(F\) of \(B\) that decides \(\bigwedge x(n)\) for all \(n\) andhas \(a\in F\). (\(F\) decides \(\bigwedge x(n)\) if either \(\bigwedgex(n)\in F\) or \(t\not\in F\) for some \(t\in x(n)\).) Goldblatt [1985].
Howard-Rubin number: 43 A
Citations (articles):
Connections (notes):
References (books):
Back