Form equivalence class Howard-Rubin Number: 14
Statement: Let \(F\) be a class of partial functions on \(I\) offinite character such that (a) \(\{f(\nu): f\in F\}\) is finite for each\(\nu\in I\) and (b) for each finite \(W\subseteq I\), there exists \(f\in F\)with dom\((f) = W\). Then \(F\) contains a function with domain \(I\). (\(F\) isof finite character means \(f\in F\) iff for all finite \(w\subseteq I\),\(f|w\in F\).) Cowen [1973].
Howard-Rubin number: 14 AY
Citations (articles):
Connections (notes):
References (books):
Back