Hostname: page-component-586b7cd67f-dlnhk Total loading time: 0 Render date: 2024-11-28T08:19:42.264Z Has data issue: false hasContentIssue false
  • English
  • Français

Semi-bounded relations in ordered modules

Published online by Cambridge University Press:  12 March 2014

Oleg Belegradek
Oleg Belegradek*
Affiliation:
Department of Mathematics, Istanbul Bilgi University, 80370, Dolapdere-Istanbul, Turkey, E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract.

A relation on a linearly ordered structure is called semi-bounded if it is definable in an expansion of the structure by bounded relations. We study ultimate behavior of semi-bounded relations in an ordered module M over an ordered commutative ring R such that M/rM is finite for all nonzero r ϵ R. We consider M as a structure in the language of ordered R-modules augmented by relation symbols for the submodules rM, and prove several quantifier elimination results for semi-bounded relations and functions in M. We show that these quantifier elimination results essentially characterize the ordered modules M with finite indices of the submodules rM. It is proven that (1) any semi-bounded k-ary relation on M is equal, outside a finite union of k-strips, to a k-ary relation quantifier-free definable in M, (2) any semibounded function from Mk to M is equal, outside a finite union of k-strips, to a piecewise linear function, and (3) any semi-bounded in M endomorphism of the additive group of M is of the form x ↦ σx, for some σ from the field of fractions of R.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 69 , Issue 2 , June 2004 , pp. 499 - 517
Copyright
Copyright © Association for Symbolic Logic 2004

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[B]Belegradek, Oleg, Semi-bounded relations in ordered abelian groups, manuscript, 15 pages, to appear in Proceedings of Euro-Conference in Model Theory and Applications (Ravello, Italy), 2002.Google Scholar
[BVW]Belegradek, Oleg, Verbovskiy, Viktor, and Wagner, Frank O., Coset-minimal groups, Annals of Pure and Applied Logic, vol. 121 (2003), pp. 113–143.CrossRefGoogle Scholar
[E]Edmundo, Mário Jorge, O-minimal expansions of groups, Ph.D. thesis, University of Oxford, 1999.Google Scholar
[HR]Herzog, Ivo and Rothmaler, Philipp, Modules with regular generic types, The model theory of groups (Nesin, Ali and Pillay, Anand, editors), University of Notre Dame Press, Notre Dame, Indiana, 1989. pp. 138–176.Google Scholar
[LP]Loveys, James and Peterzil, Ya'akov, Linear o-minimal structures, Israel Journal of Mathematics, vol. 81 (1993), pp. 1–30.CrossRefGoogle Scholar
[Pe]Peterzil, Ya'akov, A structure theorem for semibounded sets in the reals, this Journal, vol. 57 (1992), pp. 779–794.Google Scholar
[PSS]Pillay, Anand, Scowcroft, Philip, and Steinhorn, Charles, Between groups and rings, Rocky Mountain Journal of Mathematics, vol. 19 (1980), no. 2, pp. 871–885.Google Scholar
[Po]Poston, Robert J., O-minimal expansions of additive reals: definability of multiplication and some structural analysis, Ph.D. thesis, University of Oxford, 1999.Google Scholar