Article ID Journal Published Year Pages File Type
4662214 Annals of Pure and Applied Logic 2008 19 Pages PDF
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.

Related Topics
Physical Sciences and Engineering Mathematics Logic