[Using smooth profit functions to characterize production possibilities, we extend the concepts of regularity and fixed point index to economies with very general technologies, involving both constant and decreasing returns. To prove the genericity of regular economies we rely on an approach taken by Mas-Colell that utilizes the topological concept of transversality. We also generalize the index theorem given by Kehoe. Our results shed new light on the question of when an economy has a unique equilibrium.]

[In this paper we prove a global index theorem for general equilibrium models with activity analysis production technologies. We begin by constructing a single-valued function whose fixed points are equivalent to the equilibria of such a model. We then associate each fixed point with an index that is an integer determined by the local properties of this function at that point. The global index theorem makes a statement about the sum of all the indices of equilibria that implies conditions sufficient for uniqueness of equilibrium.]

This paper compares two different models in a common environment. The first model has liquidity constraints in that consumers save a single asset that they cannot sell short. The second model has debt constraints in that consumers cannot borrow so much that they would want to default, but is otherwise a standard complete markets model. Both models share the features that individuals are unable to completely insure against idiosyncratic shocks and that interest rates are lower than subjective discount rates. In a stochastic environment, the two models have quite different dynamic properties, with the debt constrained model exhibiting simple stochastic steady states, while the liquidity constrained model has greater persistence of shocks.

Does a pure exchange economy with an infinite time horizon have determinate perfect foresight equilibria? When there is a finite number of infinitely lived agents equilibria are generically determinate. This is not true with overlapping generations of finitely lived agents. We ask whether the initial conditions together with the requirement of convergence to a steady state locally determine an equilibrium price path. In this framework there are many economies with isolated equilibria, many with continua of equilibria, and many with no equilibria at all. With two or more goods in every period not only can the price level be indeterminate but relative prices as well. Furthermore, such indeterminacy can occur whether or not there is fiat money and whether or not the equilibria are Pareto efficient. THIS PAPER CONSIDERS whether infinite horizon economies have determinate perfect foresight equilibria. This question is of crucial importance. If instead equilibria are locally indeterminate, not only are we unable to make comparative static predictions, but the agents in the model are unable to determine the consequences of unanticipated shocks. The idea underlying perfect foresight is that agents' expectations should be the actual future sequence predicted by the model; if the model does not make determinate predictions, the concept of perfect foresight is meaningless. We consider two extreme cases: the first with a finite number of infinitely lived consumers and the second with an infinite number of finitely lived consumers, an overlapping generations model. Both are models of stationary pure exchange economies. No production, including the storage of goods between periods, can occur. These models are unrealistic but are the easiest to study. Extensions of the results of this paper to models with production, infinitely lived assets, and mixtures of the two types of consumers are presented by Muller and Woodford [29]. When there is a finite number of infinitely lived consumers, we argue that equilibria are generically determinate. This is because the effective number of equations determining equilibria is not infinite, but equal to the number of agents minus one and must determine the marginal utility of income for all but one agent. Generically, near an equilibrium, these equations are independent and exactly determine the unknowns. When there are infinitely many overlapping generations, this reasoning breaks down: An infinite number of equations is not necessarily sufficient to determine