Generalized Halfspaces in the Mixed-Integer Realm

Notre Dame Journal of Formal Logic 50 (1):43-51 (2009)
  Copy   BIBTEX

Abstract

In the ordered Abelian group of reals with the integers as a distinguished subgroup, the projection of a finite intersection of generalized halfspaces is a finite intersection of generalized halfspaces. The result is uniform in the integer coefficients and moduli of the initial generalized halfspaces

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Generalized halfspaces in dimension groups.Philip Scowcroft - 2008 - Annals of Pure and Applied Logic 154 (1):8-26.
Generalized reals.F. G. Asenjo - 1970 - Notre Dame Journal of Formal Logic 11 (4):473-476.
Generalized fitting subgroup of a group of finite Morley rank.Ali Nesin - 1991 - Journal of Symbolic Logic 56 (4):1391-1399.
The Hierarchy Theorem for Second Order Generalized Quantifiers.Juha Kontinen - 2006 - Journal of Symbolic Logic 71 (1):188 - 202.
CM-Triviality and stable groups.Frank Wagner - 1998 - Journal of Symbolic Logic 63 (4):1473-1495.
Algebraic logic with generalized quantifiers.Charles C. Pinter - 1975 - Notre Dame Journal of Formal Logic 16 (4):511-516.
Generalized ordinal notation.Frederick S. Gass - 1971 - Notre Dame Journal of Formal Logic 12 (1):104-114.
Generalized Archimedean fields.John Cowles & Robert LaGrange - 1983 - Notre Dame Journal of Formal Logic 24 (1):133-140.
On the generalized Brouwerian axioms.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3 (2):123-128.

Analytics

Added to PP
2010-09-13

Downloads
28 (#807,648)

6 months
10 (#427,773)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Generalized halfspaces in dimension groups.Philip Scowcroft - 2008 - Annals of Pure and Applied Logic 154 (1):8-26.

Add more references