On the efficiency of a global market for carbon dioxide emission permits: Type of externality and timing of policymaking

We demonstrate that global permit markets are Pareto efficient despite the externality type, production or consumption, when income redistribution occurs after regional environmental policymaking. Ex-ante income redistribution is neutral if emissions affect production only, but non-neutral if emissions affect consumption.