Focusing on the testable implications on the equilibrium manifold, we show that the rationalizability problem is NP-complete. Subsequently, we present an integer programming (IP) approach to characterizing general equilibrium models. This approach avoids the use of the Tarski-Seidenberg...

In this paper we test empirically with the Nordhaus and Yang (1996) RICE model the core property of the transfer scheme advocated by Germain, Toint and Tulkens (1997). This scheme is designed to sustain full cooperation in a voluntary international environmental agreement by making all countries...

In this paper we test empirically with the Nordhaus and Yang (1996) RICE model the core property of the transfer scheme advocated by Germain, Toint and Tulkens (1997). This scheme is designed to sustain full cooperation in a voluntary international environmental agreement by making all countries...