| Article ID: | iaor1993279 |
| Country: | Netherlands |
| Volume: | 53 |
| Issue: | 3 |
| Start Page Number: | 307 |
| End Page Number: | 442 |
| Publication Date: | Feb 1992 |
| Journal: | Mathematical Programming (Series A) |
| Authors: | Eaves B. Curtis, Rothblum Uriel G. |
A constructive procedure using Dines-Fourier-Motzkin elimination is given for eliminating quantifiers in a linear first order formula over ordered fields. An ensuing transfer principle is illustrated by showing that a locally one-to-one affine map is globally one-to-one and onto all over ordered fields.