We consider the use of Quanti fier Elimination (QE) technology for automated reasoning in economics. There is a great body of work considering QE applications in science and engineering but we demonstrate here that it also has use in the social sciences. We explain how many suggested theorems in...

Many national accounts of economic output and prosperity, such as gross domestic product (GDP) or net domestic product (NDP), offer an incomplete picture by ignoring, for example, the value of leisure, home production, and the value of health. Discussed shortcomings have focused on how...

A new survey of 745 small businesses shows little change in the size distribution of businesses between 2012 and 2016, except among businesses with 40–74 employees, in a way that is closely related to whether they offer health insurance coverage. Using measures of both size and voluntary...

The Affordable Care Act's taxes, subsidies, and regulations significantly alter terms of trade in both goods and factor markets. We use an extended version of the classic Harberger model to predict and quantify consequences of the Affordable Care Act for the incidence of health insurance...