Form equivalence class Howard-Rubin Number: 99
Statement:
Rado's Lemma restricted to families of two element sets: Let \(\{k(\lambda): \lambda\in\Lambda\}\) be a family of 2 element subsets of a set \(X\) and suppose that for each finite \(S \subseteq\Lambda\), there is a function \(\gamma(S)\) from \(S\) into \(X\) such that \((\forall\lambda\in S)(\gamma(S)(\lambda) \in k(\lambda))\). Then there is a function from \(\Lambda\) into \(X\) such that for every finite \(S\subseteq\Lambda\), there is a finite \(T\) with \(S\subseteq T \subseteq\Lambda\) such that \(f\) and \(\gamma(T)\) agree on \(S\).
Howard-Rubin number: 99 B
Citations (articles):
Rav [1977]
Variants of Rado's selection lemma and their applications
Howard [1993]
Variations of Rado's lemma
Connections (notes):
References (books):
Back