Reread this and this is awesome: I didn’t think of the case of multiple bars at all. As for the surreal stuff, I’ve read about them and while the lexicographic ordering is nice, the lack of transfer principle hurts. Are you in the bay?
I think there are quite a lot of transfer principles going on. Atleast real to surreal and the hypernumber transfers have exact analogs (but might not have to the surreals that are not that kind of hypernumber). Would not be surprised if “hyperfinites” would be limited to ωx where x is finite (so ωω is actually too big to be a hyperfinite).
I am not in the San Fransico bay area and it is not convenient for me to physically meet in America.
Reread this and this is awesome: I didn’t think of the case of multiple bars at all. As for the surreal stuff, I’ve read about them and while the lexicographic ordering is nice, the lack of transfer principle hurts. Are you in the bay?
I think there are quite a lot of transfer principles going on. Atleast real to surreal and the hypernumber transfers have exact analogs (but might not have to the surreals that are not that kind of hypernumber). Would not be surprised if “hyperfinites” would be limited to ωx where x is finite (so ωω is actually too big to be a hyperfinite).
I am not in the San Fransico bay area and it is not convenient for me to physically meet in America.