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...