Finitude simple et structures o-minimales (Finiteness property implies o-minimality)
We consider a family of differential algebras of real functions on real euclidean spaces, stable under right composition by affine maps. We prove that under a weak finiteness property, there is an o-minimal expansion of the ordered field of real numbers in which all these functions are definable.
Gespeichert in:
| Veröffentlicht in: | The Journal of symbolic logic 2002-12, Vol.67 (4), p.1616-1622 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng ; fre |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | We consider a family of differential algebras of real functions on real euclidean spaces, stable under right composition by affine maps. We prove that under a weak finiteness property, there is an o-minimal expansion of the ordered field of real numbers in which all these functions are definable. |
|---|---|
| ISSN: | 0022-4812 1943-5886 |
| DOI: | 10.2178/jsl/1190150303 |