The main result extends the RC formalization to versions that include an unaffected part of the population (such as dead past people) and shows that all Aggregative social welfare functions that satisfy basic axioms that are uncontroversial in the population economics literature imply this. That includes, for example, average utilitarianism, number-dampened utilitarianism, average and total prioritarianism and egalitarianism, and many approaches commonly understood to escape the RC, including all same-number separable approaches. Of course, what makes it the length of a paper is talking about why this makes sense in the literature! We also have an extended result that covers an even larger set of social welfare functions.
The main result extends the RC formalization to versions that include an unaffected part of the population (such as dead past people) and shows that all Aggregative social welfare functions that satisfy basic axioms that are uncontroversial in the population economics literature imply this. That includes, for example, average utilitarianism, number-dampened utilitarianism, average and total prioritarianism and egalitarianism, and many approaches commonly understood to escape the RC, including all same-number separable approaches. Of course, what makes it the length of a paper is talking about why this makes sense in the literature! We also have an extended result that covers an even larger set of social welfare functions.