Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If You Use a Screen Reader

This content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.

Definable Sets in Ordered Structures. I

Anand Pillay and Charles Steinhorn
Transactions of the American Mathematical Society
Vol. 295, No. 2 (Jun., 1986), pp. 565-592
DOI: 10.2307/2000052
Stable URL: http://www.jstor.org/stable/2000052
Page Count: 28
  • Read Online (Free)
  • Download ($30.00)
  • Subscribe ($19.50)
  • Cite this Item
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Definable Sets in Ordered Structures. I
Preview not available

Abstract

This paper introduces and begins the study of a well-behaved class of linearly ordered structures, the O-minimal structures. The definition of this class and the corresponding class of theories, the strongly O-minimal theories, is made in analogy with the notions from stability theory of minimal structures and strongly minimal theories. Theorems 2.1 and 2.3, respectively, provide characterizations of O-minimal ordered groups and rings. Several other simple results are collected in $\S3$. The primary tool in the analysis of O-minimal structures is a strong analogue of "forking symmetry," given by Theorem 4.2. This result states that any (parametrically) definable unary function in an O-minimal structure is piecewise either constant or an order-preserving or reversing bijection of intervals. The results that follow include the existence and uniqueness of prime models over sets (Theorem 5.1) and a characterization of all ℵ0-categorical O-minimal structures (Theorem 6.1).

Page Thumbnails

  • Thumbnail: Page 
565
    565
  • Thumbnail: Page 
566
    566
  • Thumbnail: Page 
567
    567
  • Thumbnail: Page 
568
    568
  • Thumbnail: Page 
569
    569
  • Thumbnail: Page 
570
    570
  • Thumbnail: Page 
571
    571
  • Thumbnail: Page 
572
    572
  • Thumbnail: Page 
573
    573
  • Thumbnail: Page 
574
    574
  • Thumbnail: Page 
575
    575
  • Thumbnail: Page 
576
    576
  • Thumbnail: Page 
577
    577
  • Thumbnail: Page 
578
    578
  • Thumbnail: Page 
579
    579
  • Thumbnail: Page 
580
    580
  • Thumbnail: Page 
581
    581
  • Thumbnail: Page 
582
    582
  • Thumbnail: Page 
583
    583
  • Thumbnail: Page 
584
    584
  • Thumbnail: Page 
585
    585
  • Thumbnail: Page 
586
    586
  • Thumbnail: Page 
587
    587
  • Thumbnail: Page 
588
    588
  • Thumbnail: Page 
589
    589
  • Thumbnail: Page 
590
    590
  • Thumbnail: Page 
591
    591
  • Thumbnail: Page 
592
    592