Form equivalence class Howard-Rubin Number: 99
Statement:
Weak Rado Lemma: Let \(\Lambda\) be a set. Suppose that \(\gamma\) is a function with domain all finite subsets of \(\Lambda\) such that for each finite \(S\subseteq\Lambda\), \(\gamma(S): S \rightarrow \{0,1\}\). Then there is a \(\phi\) defined on \(\Lambda\) with the property that for every finite \(S\subseteq\Lambda\) there is a finite \(T\subseteq \Lambda\) such that \(S\subseteq T\) and \(\gamma(T)\) and \(\phi\) agree on \(S\). \iput{Rado's selection lemma}
Howard-Rubin number: 99 A
Citations (articles):
Howard [1993]
Variations of Rado's lemma
Connections (notes):
References (books): Book: Handbook of Analysis and its Applications, Schechter, [1996a]
Back