论文信息 - A representation of convex semilinear sets

A representation of convex semilinear sets

If F is an ordered field, a subset of n-space over F is said to be semilinear just in case it is a finite Boolean combination of translates of closed halfspaces, where a closed halfspace is the set of all points obeying a homogeneous weak linear inequality with coefficients from F. Andradas, Rubio, and Vélez have shown that closed (open) convex semilinear sets are finite intersections of translates of closed (open) halfspaces (an open halfspace is defined as before, but with a strict inequality). This paper represents arbitrary convex semilinear sets in a manner analogous to that of Andradas, Rubio, and Vélez.

P. Scowcroft

[1] Robinson Raphael M.. Undecidable—rings. Transactions of the American Mathematical Society , Bd. 70 (1951), S.137–159. , 1952 .

[2] Paul F. Conrad. Embedding Theorems for Abelian Groups with Valuations , 1953 .

[3] J. Stoer,et al. Convexity and Optimization in Finite Dimensions I , 1970 .

[4] A. Pillay,et al. Definable sets in ordered structures , 1984 .

[5] F. R. Gantmakher. The Theory of Matrices , 1984 .

[6] A. Pillay,et al. DEFINABLE SETS IN ORDERED STRUCTURES. I , 1986 .

[7] Philip Scowcroft. A Note on Definable Skolem Functions , 1988, J. Symb. Log..

[8] Volker Weispfenning,et al. The Complexity of Linear Problems in Fields , 1988, Journal of symbolic computation.

[9] Uriel G. Rothblum,et al. Dines—Fourier—Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields , 1992, Math. Program..

[10] Wilfrid Hodges,et al. Model Theory: The existential case , 1993 .

[11] Nonnegative solvability of linear equations in certain ordered rings , 2006 .

[12] Model Theory with Applications to Algebra and Analysis: Nonnegative solvability of linear equations in ordered Abelian groups , 2008 .

[13] Philip Scowcroft. Generalized halfspaces in dimension groups , 2008, Ann. Pure Appl. Log..