We establish the precise connections between progressive taxation and inequality reduction, in a setting where the level of tax revenue to be raised is endogenously fixed and tax schemes are balanced. We show that, in contrast with the traditional literature on taxation, the equivalence between...

We model problems of allocating disputed properties as generalized exchange economies in which agents have preferences and claims over multiple goods, and the social endowment of each good may not be sufficient to satisfy all individual claims. In this context, we investigate procedural and...