This paper develops a model of Tiebout sorting with decentrally determined progressive income taxation and a built-in fiscal equalization scheme that redistributes money from richer to poorer regions. Both aspects are central to policy makers: the progressivity for equity reasons and the fiscal...