We consider the class of Bayesian environments with independent types, and utility functions which are both quasi-linear in a private good and linear in a one-dimensional private-value type parameter. We call these "independent linear environments". For these environments, we fully characterize...

We wish to study optimal dynamic nonlinear income taxes. Do real world taxes share some of their features? What policy prescriptions can be made? We study a two period model, where the consumers and government each have separate budget constraints in the two periods, so income cannot be...