Expansions of o-Minimal Structures by Iteration Sequences

Miller, Chris; Tyne, James

Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, p. 93-99 / Harvested from Project Euclid

Résumé

Let P be the ω-orbit of a point under a unary function definable in an o-minimal expansion ℜ of a densely ordered group. If P is monotonically cofinal in the group, and the compositional iterates of the function are cofinal at +\infty in the unary functions definable in ℜ, then the expansion (ℜ, P) has a number of good properties, in particular, every unary set definable in any elementarily equivalent structure is a disjoint union of open intervals and finitely many discrete sets.

Publié le : 2006-01-14
Classification: o-minimal, d-minimal, densely ordered group, 03C64, 06F15

@article{1143468314,
     author = {Miller, Chris and Tyne, James},
     title = {Expansions of o-Minimal Structures by Iteration Sequences},
     journal = {Notre Dame J. Formal Logic},
     volume = {47},
     number = {1},
     year = {2006},
     pages = { 93-99},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1143468314}
}

Miller, Chris; Tyne, James. Expansions of o-Minimal Structures by Iteration Sequences. Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, pp.  93-99. http://gdmltest.u-ga.fr/item/1143468314/