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.
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.