The bold claim of this sequence thus far is that the randomness/ignorance model solves a significant part of the anthropics puzzle. (Not everything since it's still incomplete.) In this post I argue that this "solution" is genuine, i.e. it does more than just redefine terms. In particular, I argue that my definition of probability for randomness is the only reasonable choice.
The only axiom I need for this claim is that probability must be consistent with betting odds in all cases: if comes true in two of three situations where is observed, and this is known, then needs to be , and no other answer is acceptable. This idea isn't new; the problem with it is that it doesn't actually produce a definition of probability, because we might not know how often comes true if is observed. It cannot define probability in the original Presumptuous Philosopher problem, for example.
But in the context of the randomness/ignorance model, the approach becomes applicable. Stating my definition for when uncertainty is random in one sentence, we get
Your uncertainty about , given observation , is random iff you know the relative frequency with which happens, evaluated across all observations that, for you, are indistinguishable to with regard to .
Where "relative frequency" is the frequency of compared to , i.e. you know that happens in out of cases. A good look at this definition shows that it is precisely the condition needed to apply the betting odds criterion. So the model simply divides everything into those cases where you can apply betting odds and those where you can't.
If the Sleeping Beauty experiment is repeated sufficiently often using a fair coin, then roughly half of all experiments will run in the 1-interview version, and the other half will run the 2-interview version. In that case, Sleeping Beauty's uncertainty is random and the reasoning from 3 goes through to output for it being Monday. The experiment being repeated sufficiently often might be considered a reasonably mild restriction; in particular, it is a given if the universe is large enough that everything which appears once appears many times. Given that Sleeping Beauty is still controversial, the model must thus be either nontrivial or wrong, hence "genuine".
Here is an alternative justification for my definition of random probability. Suppose is the hypothesis we want to evaluate (like "today is Monday") and is the full set of observations we currently have (formally, the full brain state of Sleeping Beauty). Then what we care about is the value of . Now consider the term ; let's call it . If is known, then can be computed as , so knowledge of implies knowledge of and vice-versa. But is more "fundamental" than , in the sense that it can be defined as the ratio of two frequencies. Take all situations in which – or any other a set of observations which, from your perspective, is indistinguishable to – is observed, and count in how many of those is true vs. false. The ratio of these two values is .
A look at the above criterion for randomness shows that it's just another way of saying that the value of is known. Since, again, the value of determines the value of , this means that the definition of probability as betting odds, in the case that the relevant uncertainty is random, falls almost directly out of the formula.