On the bounded condition of an o-minimal structure

DOI10.1215/KJM/1250281074MaRDI QIDQ2474986zbMATH OpenOpenAlexFDO

Authors Masaru Kageyama

Publication date 20 March 2008

Published in Journal of Mathematics of Kyoto University (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/kjm/1250281074

zbMATH Keywords

bounded seto-minimal structuresordered vector spacequantifier elimination

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model theory of ordered structures; o-minimality (03C64)

Review text

In the paper under review the author proves the following: Given an ordered vector space and a function between powers of this vector space which is definable in the language of ordered vector spaces. Then the image of a bounded set under this function is again bounded. This result is a very easy consequence of the well-known fact that the definable functions are piecewise affine which itself follows from the well-known and elementary fact that the theory of ordered vector spaces has quantifier elimination (see Corollary (7.6) and Corollary (7.8) on p. 27 of [\textit{L. van den Dries}, Tame topology and o-minimal structures. Cambridge: Cambridge University Press (1998; Zbl 0953.03045)]. The author reproves in this paper quantifier elimination and gives a rather complicated proof of the statement above.

Recommendations

• Uniform bounds on growth in o-minimal structures
• Semi-bounded relations in ordered modules
• Definable Sets in Ordered Structures. II
• Definable sets in ordered structures
• What is o-minimality?

Cited in

(3)

• Indefinability in o-minimal structures of finite sets of matrices whose infinite products converge and are bounded or unbounded
• Uniform bounds on growth in o-minimal structures
• scientific article; zbMATH DE number 2124412 (Why is no real title available?)

This page was built for publication: On the bounded condition of an o-minimal structure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2474986)