Statement:
Suppose \(k\in\omega-\{0\}\). If \(f\) is a 1-1 map from \(k\times X\) into \(k\times Y\) then there are partitions \(X = \bigcup_{i \le k} X_{i} \) and \(Y = \bigcup_{i \le k} Y_{i} \) of \(X\) and \(Y\) such that \(f\) maps \(\bigcup_{i \le k} (\{i\} \times X_{i})\) onto \(\bigcup_{i \le k} (\{i\} \times Y_{i})\).
Howard_Rubin_Number: 137-k
Parameter(s): This form depends on the following parameter(s): \(k\),
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Truss-1984: Cancellation laws for surjective cardinals
Book references
Note connections:
| Howard-Rubin Number | Statement | References |
|---|---|---|
| 137 A-k | For all \(X\) and \(Y\subseteq{\Bbb R}\), Form 137 (\(k\)) holds. |
Truss [1984]
|