I investigate the optimal auditing scheme for a revenue-maximizing tax-collection agency that observes not only reported profits, but also the level of employment at each firm. Each firm is owned by a single entrepreneur whose managerial ability is random. The optimal auditing scheme is...

Pension benefit rules depend on individual history far more than taxes do, and age plays a much larger role in pension determination than in tax determination. Apart from some simulation studies, theoretical studies of optimal tax design typically contain neither a mandatory pension system nor...