FOM: shelah

Juliette Kennedy jkennedy at cc.helsinki.fi
Wed Aug 16 11:37:54 EDT 2000


What Shelah proved was 

aleph_omega^(aleph_0) <= 2^(aleph_0)+ aleph_(omega_4)

See www.math.rutgers.edu/~shelah/pcf.html

The proof is complicated and uses his new pcf theory as explained in his
book "Cardinal Arithmetic."

Juliette Kennedy
University of Helsinki






More information about the FOM mailing list