Title of article :
Generalized halfspaces in dimension groups
Author/Authors :
Philip Scowcroft، نويسنده , , Philip، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2008
Abstract :
In a dimension group, the projection of a finite intersection of generalized halfspaces is a finite intersection of generalized halfspaces. The dimension groups obeying a stronger version of this result, true in dense Archimedean ordered groups, are characterized algebraically and provided with a simple set of axioms.
Keywords :
Dense regular group , Dimension group , Quantifier elimination , Ordered Abelian group
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic