I think that my line of reasoning here is close to yours, but I will read your next posts in the sequence after finish this comment.
I think that SIA proves infinite universe and after that stops working. After that we can compare different regions of the multiverse but have to take into account their size and concentration of observers in them. (assuming that we solve the way how we count infinities).
The alternative I found, D-SIA, does extend to infinite universes but isn’t strongly fond of them (it likes large worlds, but doesn’t have an infinite update towards infinite worlds).
I think that my line of reasoning here is close to yours, but I will read your next posts in the sequence after finish this comment.
I think that SIA proves infinite universe and after that stops working. After that we can compare different regions of the multiverse but have to take into account their size and concentration of observers in them. (assuming that we solve the way how we count infinities).
The alternative I found, D-SIA, does extend to infinite universes but isn’t strongly fond of them (it likes large worlds, but doesn’t have an infinite update towards infinite worlds).