Skip to main content
SpringerLink
Log in

Linear O-minimal structures

  • Published:
Israel Journal of Mathematics Aims and scope Submit manuscript

Abstract

A linearly ordered structure\(\mathcal{M} = (M,< , \cdot \cdot \cdot )\) is called o-minimal if every definable subset ofM is a finite union of points and intervals. Such an\(\mathcal{M}\) is aCF structure if, roughly said, every definable family of curves is locally a one-parameter family. We prove that if\(\mathcal{M}\) is aCF structure which expands an (interval in an) ordered group, then it is elementary equivalent to a reduct of an (interval in an) ordered vector space. Along the way we prove several quantifier-elimination results for expansions and reducts of ordered vector spaces.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • [vdD] L. van den Dries,Tame topology and σ-minimal structures, preliminary version, 1991.

  • [HL] E. Hrushovski and J. Loveys,Weakly minimal groups of bounded exponent, in preparation.

  • [KPS] J. Knight, A. Pillay and C. Steinhorn,Definable sets in ordered structures II, Trans. Amer. Math. Soc.295 (1986), 593–605.

    Article  MATH  MathSciNet  Google Scholar 

  • [P1] Y. Peterzil,Some definability questions in structures over the reals and in general o-minimal structures, Ph.D. thesis, University of California, Berkeley, 1991.

    Google Scholar 

  • [P2] Y. Peterzil,Zilber’s Conjecture for some o-minimal structures over the reals, to appear in Ann. Pure Appl. Logic.

  • [P3] Y. Peterzil,Constructing a group-interval in o-minimal structures, preprint.

  • [Pi] A. Pillay,On groups and fields definable in o-minimal structures, J. Pure Appl. Algebra53 (1988), 239–255.

    Article  MATH  MathSciNet  Google Scholar 

  • [PSS] A. Pillay, P. Scowcroft and C. Steinhorn,Between groups and rings, Rocky Mountain J.9 (1989), 871–885.

    Article  MathSciNet  Google Scholar 

  • [PS] A. Pillay and C. Steinhorn,Definable sets in ordered structures I, Trans. Amer. Math. Soc.295, (1986), 565–592.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, McGill University, Montreal, QC, Canada

    James Loveys & Ya’acov Peterzil

Authors
  1. James Loveys
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ya’acov Peterzil
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

The research for this article was begun when the authors were at Berkeley during the logic year at the Mathematical Science Research Institute. It was completed at McGill University. The research was supported by grants from NSERC and FCAR. JL would, as always, like to thank Alistair.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Loveys, J., Peterzil, Y. Linear O-minimal structures. Israel J. Math. 81, 1–30 (1993). https://doi.org/10.1007/BF02761295

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02761295

Keywords

Search

Navigation