We study optimal income taxation in a framework where one's willingness to report his income truthfully is positively correlated with his type. We show that allowing low-productivity types to cheat leads to Pareto-superior outcomes as compared to deterring them, even if audits can be performed...

This paper provides a unified treatment of externalities associated with fertility and human capital accumulation as they relate to pension systems. It considers as overlapping generations model in which every generation consists of high earners and low earners with the proportion of types being...