Apologies for being a bit over argumentative here, but I recall we never have explicit proof nor implied proof of pocket dimensions to begin with irl.
The only thing worth noting is that pocket dimensions did came from the fact we have theories and fiction series that show pocket dimensions.
The only thing worth noting is that pocket dimensions did came from the fact we have theories and fiction series that show pocket dimensions.
Philosophically, there's many places we could place the borders for High 1-A and 0. And really, wherever we place them, that decision seems pretty arbitrary. There's a certain function we want the tiers 1-A, High 1-A, and 0 to have in how they operate; but the exact mathematical constructs they end up corresponding to depends on what we equalise layers of transcendence within them to, which seems wholly arbitrary. The only verses for which these arbitrary distinctions make a difference are verses which explicitly invoke cardinals in their cosmology. We could have 1-A+ start at R^R^R^omega instead of an omega-length chain of R^R^R...^R. And we could have High 1-A start at R^R^R^R, and 0 start at R^R^R^R^R, and the only verses that would be changed by our choice are these mathematically-invoking verses.
Since it barely matters, and I can't understand it, I don't care what happens. Some people have suggested tier 0 being above ZFC, or having High 1-A involve adding new axioms, with 0 involving entirely new logical systems. I really don't care which suggestion ends up going through.