3 ms·
On the other hand, Alpha does not seem to have the facilities currently for dealing with transfinite ordinal arithmetic, which is arguably much richer and more
by pervycreeper 13y ago
On the other hand, Alpha does not seem to have the facilities currently for dealing with transfinite ordinal arithmetic, which is arguably much richer and more interesting (there's not much you can do with cardinals without CH).