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...

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...

Progressivity, inequality reduction and merging-proofness are three wellknown axioms in taxation. We investigate implications of each of the three axioms through characterizations of several families of taxation rules and their logical relations. We also study the preservation of these axioms...