This paper studies implications of uncertainty about the arrival date of a competitive CO2 backstop technology for the design of cost-effective CO2 emission trading schemes. For this purpose, we develop a dynamic general equilibrium model that captures empirical links between CO2 emissions...

Howard (1992) argues that the Nash bargaining solution is not Nash implementable, as it does not satisfy Maskin monotonicity. His arguments can be extended to other bargaining solutions as well. However, by defining a social choice correspondence that is based on the solution rather than on its...