We consider international negotiations on the level of global pollution, and examine the Lindahl solution which determines the distribution of the pollution permits with unanimous agreement. We show various properties to clarify difficulties to achieve a Pareto efficient allocation as an agreement. The Lindahl solution may result in an unfair allocation, and it does not belong to the -core as in other solutions based on emissions trading. On the other hand, we provide mechanisms that implement the Lindahl solution as the subgame-perfect equilibrium. We also consider the market with region-specfic prices as a device to induce second-best Pareto efficient allocations.