Jean Abou Samra (new account) on Nostr: nprofile1q…g99up I was also wondering: is the problem whether you can make (any ...
nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyz4g9497lls2ey4v3rxtld6a8m5rh7meav97tqfhnceyja6wn0lpgng99up (nprofile…99up) I was also wondering: is the problem whether you can make (any flavor of) the Cauchy reals countable still open?