I think you have a misunderstanding of type 4 multiverse in this thread
Type 4 isn't modal realism or "possible universes" like in the example given but rather it's everything mathematical has a corresponding structure which would atleast have to include aleph-0 or basic infinity.
Type 4 isn't modal realism or "possible universes" like in the example given but rather it's everything mathematical has a corresponding structure which would atleast have to include aleph-0 or basic infinity.