Tax evasion is modeled as a risky activity and integrated into a standard problem of optimal tax design. It is shown that there is a trade off between reducing tax evasion and reducing tax distortion. Thus it is efficient to supplement a broad-based wage tax by a tax on specific consumption if...

We characterize optimal income taxation and unemployment insurance in a search-matching framework where both voluntary and involuntary unemployment are endogenous and Nash bargaining determines wages. Individuals differ in utility when voluntarily unemployed (non-participants in the labour...