We make two main contributions to the theory of optimal income taxation. First, assuming conditions sufficient for existence of a Pareto optimal income tax and public goods mechanism, we show that if agents’ preferences satisfy an extended notion of single crossing called capacity constrained...

We model the agenda formation process as a network. In an agenda network, nodes represent agendas while arcs represent coalition preferences over agendas and coalitional moves from one agenda to another. We show that all agenda networks have agenda nodes which are farsightedly consistent. These...