Form equivalence class Howard-Rubin Number: 140
Statement:
(Form 137 with \(k = 2\)): If \(f\) is a 1-1 map from \(2\times X\) into \(2\times Y\) then there are partitions \(X = X_0 \cup X_1\) and \(Y = Y_0 \cup Y_1\) of \(X\) and \(Y\) such that \(f\) maps \((\{0\}\times X_0)\cup (\{1\}\times X_1)\) onto \((\{0\}\times Y_0)\cup (\{1\}\times Y_1)\).
Howard-Rubin number: 140 A
Citations (articles):
Truss [1984]
Cancellation laws for surjective cardinals
Connections (notes):
References (books):
Back