Many theorems in economics can be proven (and hypotheses shown to be false) with “quantifier elimination.” Results from real algebraic geometry such as Tarski's quantifier elimination theorem and Collins' cylindrical algebraic decomposition algorithm are applicable because the economic...

An economy benefits from advances in technical frontiers only when new technology comes into general use. This paper measures the diffusion of computing equipment at a time when computing technology underwent dramatic technical improvement. These data shed light on the long lag between advances...

We perform a quantitative analysis of observed changes in U.S. between-group inequality between 1984 and 2003. We use an assignment framework with many labor groups, equipment types, and occupations in which changes in inequality are caused by changes in workforce composition, occupation demand,...

We analyze optimal policy when consumers of energy-using durables undervalue energy costs relative to their private optima. First, there is an Internality Dividend from Externality Taxes: aside from reducing externalities, they also offset distortions from underinvestment in energy efficiency....

The most cost-effective policies for achieving CO2 abatement (e.g., carbon taxes) fail to get off the ground politically because of unacceptable distributional consequences. This paper explores CO2 abatement policies designed to address distributional concerns. Using an intertemporal numerical...

We study the problem of a monetary authority pursuing an exchange rate policy that is inconsistent with interest rate parity because of a binding zero lower bound constraint. The resulting violation in interest rate parity generates an inflow of capital that the monetary authority needs to...

This essay aims to explain the nature of monetary and fiscal policy interactions and how those interactions could inform the fiscal rules that countries choose to follow. It makes two points: (1) monetary policy control of inflation requires appropriate fiscal backing; (2) European fiscal...