Transfer methods for o-minimal topology
Berarducci, Alessandro ; Otero, Margarita
J. Symbolic Logic, Tome 68 (2003) no. 1, p. 785- 794 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Let M be an o-minimal expansion of an ordered field. Let φ be a formula in the language of ordered domains. In this note we establish some topological properties which are transferred from φM to φℝ and vice versa. Then, we apply these transfer results to give a new proof of a result of M. Edmundo—based on the work of A. Strzebonski—showing the existence of torsion points in any definably compact group defined in an o-minimal expansion of an ordered field.
Publié le : 2003-09-14
Classification:  
@article{1058448438,
     author = {Berarducci, Alessandro and Otero, Margarita},
     title = {Transfer methods for o-minimal topology},
     journal = {J. Symbolic Logic},
     volume = {68},
     number = {1},
     year = {2003},
     pages = { 785- 794},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1058448438}
}

Berarducci, Alessandro; Otero, Margarita. Transfer methods for o-minimal topology. J. Symbolic Logic, Tome 68 (2003) no. 1, pp.  785- 794. http://gdmltest.u-ga.fr/item/1058448438/