Given a semi-infinite system of linear inequalities, including strict inequalities, it is shown that if every finite subsystem
has a solution in
R, then the entire system has a solution in the ordered field
R(M) obtained by adjoining a transcendental greater than every real number.
This work was supported in part by NSF Grant GJ-28457X1.