Generalized halfspaces in dimension groups

DOI10.1016/j.apal.2007.10.009zbMath1146.03026OpenAlexW1980209550MaRDI QIDQ925849

Philip Scowcroft

Publication date: 23 May 2008

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2007.10.009

zbMATH Keywords

quantifier eliminationdimension groupordered abelian groupdense regular group

Mathematics Subject Classification ID

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

Related Items (3)

Some model-theoretic correspondences between dimension groups and AF algebras ⋮ A discrete variant of Farkas' lemma and related results ⋮ A representation of convex semilinear sets

Cites Work

• Dimension Groups and Their Affine Representations
• Nonnegative solvability of linear equations in certain ordered rings
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Generalized halfspaces in dimension groups