Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Nonnegative solvability of linear equations in certain ordered rings

Author: Philip Scowcroft
Journal: Trans. Amer. Math. Soc. 358 (2006), 3535-3570
MSC (2000): Primary 03C64; Secondary 06F20, 15A39
Published electronically: March 1, 2006
MathSciNet review: 2218988
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: In the integers and in certain densely ordered rings that are not fields, projections of the solution set of finitely many homogeneous weak linear inequalities may be defined by finitely many congruence inequalities, where a congruence inequality combines a weak inequality with a system of congruences. These results extend well-known facts about systems of weak linear inequalities over ordered fields and imply corresponding analogues of Farkas' Lemma on nonnegative solvability of systems of linear equations.

References [Enhancements On Off] (What's this?)

  • 1. C. C. Chang and H. J. Keisler, Model theory, North-Holland Publishing Co., Amsterdam-London; American Elsevier Publishing Co., Inc., New York, 1973. Studies in Logic and the Foundations of Mathematics, Vol. 73. MR 0409165
  • 2. George B. Dantzig, Linear programming and extensions, Reprint of the 1968 corrected edition, Princeton Landmarks in Mathematics, Princeton University Press, Princeton, NJ, 1998. MR 1658673
  • 3. Lou van den Dries, Some applications of a model theoretic fact to (semi-) algebraic geometry, Nederl. Akad. Wetensch. Indag. Math. 44 (1982), no. 4, 397–401. MR 683527
  • 4. J. Farkas, Theorie der einfachen Ungleichungen, J. Reine Angew. Math. $ \mathbf{124}$ (1902), 1-27.
  • 5. Robert W. Gilmer, Multiplicative ideal theory, Queen’s Papers in Pure and Applied Mathematics, No. 12, Queen’s University, Kingston, Ont., 1968. MR 0229624
  • 6. J. H. Grace and A. Young, The algebra of invariants, University Press, Cambridge, 1903.
  • 7. Philipp Rothmaler, Some model theory of modules. II. On stability and categoricity of flat modules, J. Symbolic Logic 48 (1983), no. 4, 970–985 (1984). MR 727787, 10.2307/2273662
  • 8. Volker Weispfenning, Elimination of quantifiers for certain ordered and lattice-ordered abelian groups, Proceedings of the Model Theory Meeting (Univ. Brussels, Brussels/Univ. Mons, Mons, 1980), 1981, pp. 131–155. MR 620968
  • 9. Volker Weispfenning, Model theory of abelian 𝑙-groups, Lattice-ordered groups, Math. Appl., vol. 48, Kluwer Acad. Publ., Dordrecht, 1989, pp. 41–79. MR 1036073
  • 10. V. Weispfenning, Existential equivalence of ordered abelian groups with parameters, Arch. Math. Logic 29 (1990), no. 4, 237–248. MR 1062728, 10.1007/BF01651327
  • 11. H. Weyl, The elementary theory of convex polyhedra, Contributions to the Theory of Games, Annals of Mathematics Studies, no. 24, Princeton University Press, Princeton, N.J., 1950, pp. 3–18. MR 0038088

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 03C64, 06F20, 15A39

Retrieve articles in all journals with MSC (2000): 03C64, 06F20, 15A39

Additional Information

Philip Scowcroft
Affiliation: Department of Mathematics and Computer Science, Wesleyan University, Middletown, Connecticut 06459

Received by editor(s): July 19, 2004
Published electronically: March 1, 2006
Article copyright: © Copyright 2006 American Mathematical Society