We introduce cross-border shopping and indirect tax competition into a model of optimal taxation. The Atkinson–Stiglitz result that indirect taxation cannot improve the efficiency of information-constrained tax-transfer policies, and that indirect taxes should not be differentiated across...

The Atkinson-Stiglitz (1976) theorem on the undesirability of nonuniform excise taxation when all agents have homogeneous, separable preferences is extended to allow for nonseparability with respect to endogenous variables that will be subject to distortions.