166 countries have some kind of public old age pension. What economic forces create and sustain old age Social Security as a public program? We document some of the internationally and historically common features of Social Security programs including explicit and implicit taxes on labor supply,...

Why are the old politically successful? We build a simple interest group model in which political pressure is time-intensive, showing that in the political competitive equilibrium each group lobbies for government policies that lower their own value of time but that the old do so to a greater...

We provide a model for analyzing effects of the tax system and spending programs on the determination of government spending and taxpayer welfare and show that tax system or spending program which is suboptimal from a Ramsey point of view can improve taxpayer welfare because the system creates...

In this paper we propose a simple and general model for computing the Ramsey optimal inflation tax, which includes several models from the previous literature as special cases. We show that it cannot be claimed that the Friedman rule is always optimal (or always non-optimal) on theoretical...

In this paper we argue that the relevant decision for the majority of US households is not the fraction of assets to be held in interest bearing form, but whether to hold any of such assets at all (we call this `the decision to adopt' the financial technology). We show that the key variable...

We argue that a sensible measure of the aggregate value of human capital is the ratio of total labor income per capita to the wage of a person with zero years of schooling. The reason for that is that total labor income not only incorporates human capital, but also physical capital: given human...

In this paper we construct a set of human capital indexes for the states of the United States for each Census year starting in 1940. In order to do so, we propose a new methodology for the construction of index numbers in panel data sets. Our method is based on an optimal approach by which we...

The steady state and transitional dynamics of two-sector models of endogenous growth are analyzed in this paper. We describe necessary conditions for endogenous growth. The conditions allow us to reduce the dynamics of the solution to a system with one state-like and two control-like variables....

The Time-Elimination Method for solving recursive dynamic economic models is described. By defining control-like and state-like variables, one can transform the equations of motion describing the economy's evolution through time into a system of differential equations that are independent of...

We consider problems originating in economics that may be solved automatically using mathematical software. We present and make freely available a new benchmark set of such problems. The problems have been shown to fall within the framework of non-linear real arithmetic, and so are in theory...