Quasi-O-Minimal Structures
Belegradek, Oleg ; Peterzil, Ya'Acov ; Wagner, Frank
J. Symbolic Logic, Tome 65 (2000) no. 1, p. 1115-1132 / Harvested from Project Euclid
A structure (M, $<$,...) is called quasi-o-minimal if in any structure elementarily equivalent to it the definable subsets are exactly the Boolean combinations of 0-definable subsets and intervals. We give a series of natural examples of quasi-o-minimal structures which are not o-minimal; one of them is the ordered group of integers. We develop a technique to investigate quasi-o-minimality and use it to study quasi-o-minimal ordered groups (possibly with extra structure). Main results: any quasi-o-minimal ordered group is abelian; any quasi-o-minimal ordered ring is a real closed field, or has zero multiplication; every quasi-o-minimal divisible ordered group is o-minimal; every quasi-o-minimal archimedian densely ordered group is divisible. We show that a counterpart of quasi-o-minimality in stability theory is the notion of theory of U-rank 1.
Publié le : 2000-09-14
Classification:  Quasi-O-Minimal Theory,  O-Minimal Theory,  Ordered Group,  Theory of U -Rank 1,  03C67,  06F15,  03C60,  03C45
@article{1183746171,
     author = {Belegradek, Oleg and Peterzil, Ya'Acov and Wagner, Frank},
     title = {Quasi-O-Minimal Structures},
     journal = {J. Symbolic Logic},
     volume = {65},
     number = {1},
     year = {2000},
     pages = { 1115-1132},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746171}
}
Belegradek, Oleg; Peterzil, Ya'Acov; Wagner, Frank. Quasi-O-Minimal Structures. J. Symbolic Logic, Tome 65 (2000) no. 1, pp.  1115-1132. http://gdmltest.u-ga.fr/item/1183746171/