Form equivalence class Howard-Rubin Number: 14
Statement: Kolany's Patching Lemma. Assume that\(\{A_j : j\in J\}\) is a family of non-empty sets and \(\{ \Cal F_j :j\in J\}\) is a family of finite non-empty sets of functions such thatfor every \(j\in J\) and every \(f\in \Cal F_j\), dom \(f = A_j\). Assumethat for every finite \(J_0 \subseteq J\) there is a function \(F_0\) suchthat for all \(j\in J_0\), \(F_0\mid A_j \in \Cal F_j\), then there existsa function \(F\) such that for all \(j\in J\), \(F\mid A_j \in \Cal F_j\).Kolany [1999].
Howard-Rubin number: 14 CM
Citations (articles):
Connections (notes):
References (books):
Back