|
|
Re: Constructibility of X -> X^2 bijection
Posted:
Jul 27, 2007 3:51 PM
|
|
Stephen J. Herschkorn says...
>Do you consider the prood of Cantor-Shroeder-Bernstein to be
>constructive? If so, Kunen shows how to build an injection from k x k
>to k when k is an infinite cardinal
That's the part that I was wondering about. What is the injection
from k x k -> k?
Of course, I know of such injections for the case
k = omega and k = 2^omega, but those don't obviously
generalize to other cardinals.
--
Daryl McCullough
Ithaca, NY
|
|
