FOM: Re: the Borel universe (a positive posting)

Michael Thayer mthayer at
Sat Dec 6 20:26:24 EST 1997

Steve asks:

>Research problem: Supplement TBU_0 with elegant axioms in the language
>of TBU_0 to capture the bulk of the non-classical positive theorems on
>Borel sets.
>Does everybody agree that this is more fruitful than blathering on and
>on about the meaningfulness of CH?

While I agree with Steve completely, I will fight to the death to allow him
the right to phrase this question so rudely.

Do you have any candidate axioms, Steve?


More information about the FOM mailing list