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