Form equivalence class Howard-Rubin Number: 43
Statement: If \({\cal D}\) is a denumerable collection of densesubsets of a partial order \((P,\le)\) then for all \(p\in P\) there isa sequence \(f: \omega\rightarrow P\) with \(f(0) = p\) and \((\foralln\in\omega)(f(n)\ge f(n+1))\) and range(\(f)\cap D\neq\emptyset\) for all \(D \in {\cal D}\). Goldblatt [1985].
Howard-Rubin number: 43 D
Citations (articles):
Connections (notes):
References (books):
Back