We present a finite system of polynomial inequalities in unobservable variables and market data that observations on market prices, individual incomes and aggregate endowments must satisfy to be consistent with the equilibrium behavior of some pure trade economy. Quantifier elimination is used...

This is a short survey of known results about elimination of quantifiers over natural numbers, and some implications of these results on the power of computer algebra systems.

Stability is one of the important properties of time-stepping numerical schemes that are used to approximate partial differential equations. Stability can be analyzed using Von Neumann stability analysis which is a Fourier method. The analysis results in the Von Neumann stability condition which...

The aim of this paper is to present how the dynamic evaluation method can be used to deal with the real closure of an ordered field. Two kinds of questions, or tests, may be asked in an ordered field: equality tests (a = b?) and sign tests (a b?). Equality tests are handled through splittings,...

Engineering design is a process of generating a design solution satisfying customers’ various requirements. As the design proceeds, more and more parameters are introduced to define the design solution. As more design parameters come into design consideration, designers face increasing...

We present a finite system of polynomial inequalities in unobservable endogenous variables and market data that observations on market prices, individual incomes and aggregate endowments must satisfy to be consistent with the equilibrium behavior of some pure exchange economy. We also derive a...

Abstract This paper provides empirical interpretation of the do(x) operator when applied to non-manipulable variables such as race, obesity, or cholesterol level. We view do(x) as an ideal intervention that provides valuable information on the effects of manipulable variables and is thus...

Consider a model of bargaining, in which two players, 1 and 2, share a pie of size y. The bargaining environment is described by a set of parameters [lamda] that may affect agents' preferences over the agreement sharing, the status quo outcome, or both. The outcomes (i.e., whether an agreement...

This article considers non-unitary models of household behavior. These models suppose explicitly that households consist of a number of different members with preferences that are different from each other. They can be split up into two principal categories: cooperative (or collective) models,...