FOM: Re: precursors of Cantor

William Tait wwtx at
Fri Jun 14 10:38:50 EDT 2002

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

More information about the FOM mailing list