Phineas 'fossoid' Holstrom on Nostr: nemesis (asbestos arc) ☃️merry chrimist☃️ How high do you have to go before ...

nemesis (asbestos arc) (npub1prc…n5ck) ☃️merry chrimist☃️ (npub1pt6…6mf6) How high do you have to go before you can index R? Is that dependent on continuum hypothesis?

It's talked about R as a linear ordering, so I'd think you could in theory index a set with R.