FOM: the historical pedigree of the Borel universe

Kanovei kanovei at
Tue Dec 16 07:47:45 EST 1997

Hausdorff's (1916) proof that every uncountable 
Borel set has a perfect subset is perhaps the 
longest known for this particular result, but 
isn't it the earliest nontrivial application 
of the WF induction (or rather recursion) ?

-- V.Kanovei

More information about the FOM mailing list