Form equivalence class Howard-Rubin Number: 14
Statement: Let \(\Phi = \{\phi_{t}\}_{t\in T}\) be a set ofpartial valuations on a set \(S\) (that is, dom\((\phi_{t})\subseteq S\) andrange\((\phi_{t})\subseteq \{0,1\})\) such that for all finite\(U\subseteq S\) there is a \(t\in T\) for which \(U \subseteq\) dom\((\phi_{t})\).Then there is a valuation \(\Psi\) with dom\((\Psi) = S\) and such that forevery finite \(U\subseteq S\), there is a \(t\in T\) with \(U\subseteq\hbox{dom}(\phi_{t})\) and \(\Psi|U = \phi_{t}| U\). Cowen [1973].
Howard-Rubin number: 14 AZ
Citations (articles):
Connections (notes):
References (books):
Back