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