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

[Michael Thayer]

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?

Michael