There exists a utilitarian tradition a la Sidgwick of treating equal generations equally in the form of anonymity. Diamond showed that no social evaluation ordering over infinite utility streams satisfying the Pareto principle, Sidgwick's equity principle, and the axiom of continuity exists. We...

We study approval voting in a setting with a fixed profile of individuals choices and variable societies. Four properties each linking choices made by a group of individuals to choices by its various subgroups are introduced, and are used for characterizing approval voting