Nonnegative solvability of linear equations in ordered abelian groups

MaRDI QIDQ3602611zbMATH OpenFDO

Authors Philip Scowcroft

Publication date 12 February 2009

zbMATH Keywords

Farkas lemmageneralized halfspaceordered abelian group

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model theory of ordered structures; o-minimality (03C64) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Recommendations

• Generalized halfspaces in the mixed-integer realm
• Nonnegative solvability of linear equations in certain ordered rings
• Generalized halfspaces in dimension groups
• Quantifier elimination in ordered abelian groups
• scientific article; zbMATH DE number 1002123

Cited in

(7)

• Generalized halfspaces in the mixed-integer realm
• Elimination of unbounded quantifiers for some poly-regular groups of infinite rank
• scientific article; zbMATH DE number 4216921 (Why is no real title available?)
• A discrete variant of Farkas' lemma and related results
• Nonnegative solvability of linear equations in certain ordered rings
• Generalized halfspaces in dimension groups
• A representation of convex semilinear sets

This page was built for publication: Nonnegative solvability of linear equations in ordered abelian groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3602611)