FOM: Re: precursors of Cantor

[William Tait]

The Cantor/Scxhroder/Bernstein/You-name-it Theorem asserts that the two 
are equivalent. (According to G. Moore's book on Zermelo, this was first 
proved without the axiom of choice (Cantor) or dependent choice 
(Bernstein) by Korselt.)

Bill Tait

On Friday, June 14, 2002, at 07:36 AM, charles silver wrote:

>     What would happen if a one-to-one correspondence were defined as a
> one-to-one map in both directions instead of being one-to-one plus onto 
> in
> only one direction?
>
> Charlie Silver
>
>
>