Information technology has already transformed some areas of our lives, and has the prospect for transforming other sectors. This paper is about economic behaviors that anticipate technical progress, and how they may describe the housing price and construction boom of 2000-2006 and the bust...

When combined with the logical notion of partially interpreted functions, many nonparametric results in econometrics and statistics can be understood as statements about semi-algebraic sets. Tarski's quantifier elimination (QE) theorem therefore guarantees that a universal algorithm exists for...

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

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

Most studies of the intertemporal substitution of work use life cycle data and, from those studies, many have concluded that intertemporal labor substitution is unimportant for macroeconomics. This paper takes another look at life cycle data and argues that a consideration of measurement errors,...

In theory, growing wage inequality within gender should cause women to invest more in their market productivity and should differentially pull able women into the workforce, thereby closing the measured gender gap even though women's wages might have grown less than men's had their behavior been...

Does Social Security redistribute across cohorts? Or is it a program for purchasing the jobs' of the elderly? I formalize both models, showing how they have some predictions in common the most important of which is that generational accounts have the appearance of a pyramid scheme.' I also...

We propose a positive theory that is consistent with two important features of social security programs around the world: (1) they redistribute income from young to old and (2) they induce retirement. We construct a voting model that includes a political campaign' or debate' prior to the...

Some of the important implications of the parental investment model of intergenerational mobility have been derived under the assumption that parental income is the main source of heterogeneity. We explicitly model the variability and inheritability of innate' earnings ability and the...

I construct direct measures of labor-leisure distortions for the American economy during the period 1889-1996, using a new method for empirically evaluating competitive equilibrium models and extending that method to some noncompetitive situations. I then compare measured labor-leisure...