Description:
Form 3 implies Form 53
Content:
Form 3 (\(2m =m\) for infinite cardinals \(m\)) implies Form 53 (\(m^2\le 2^m\) for infinite cardinals \(m\)).
Assume that for all infinite cardinals \(m\), \(2m = m\) and that \(X\) is an infinite set. Then \(f(x,y) = \{(0,x),(1,y)\}\) is a 1-1 function from \(X\times X\) into \({\cal P}(2\times X)\).
Howard-Rubin number:
68
Type:
Theorem
Back