FOM: Re: the Borel universe (a positive posting)
mthayer at ix.netcom.com
Sat Dec 6 20:26:24 EST 1997
>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
>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