A representation of convex semilinear sets

DOI10.1007/s00012-010-0056-5zbMath1206.03038OpenAlexW2000829731MaRDI QIDQ987186

Philip Scowcroft

Publication date: 13 August 2010

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-010-0056-5

zbMATH Keywords

quantifier eliminationsemilinear setsdefinable set

Mathematics Subject Classification ID

Convex sets in (n) dimensions (including convex hypersurfaces) (52A20) Ordered rings, algebras, modules (06F25) Model theory of ordered structures; o-minimality (03C64)

Related Items (3)

Tropically convex constraint satisfaction ⋮ Existentially closed dimension groups ⋮ Max-Closed Semilinear Constraint Satisfaction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalized halfspaces in dimension groups
• The complexity of linear problems in fields
• Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields
• Definable Sets in Ordered Structures. II
• A note on definable Skolem functions
• Nonnegative solvability of linear equations in certain ordered rings
• Undecidable Rings
• Embedding Theorems for Abelian Groups with Valuations

This page was built for publication: A representation of convex semilinear sets