Transfer methods for o-minimal topology

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$\varphi^M$to$\varphi^R$and vice versa. Then, we apply these transfer results to give a new proof of a result of...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The Journal of symbolic logic 2003-09, Vol.68 (3), p.785-794
Hauptverfasser:	Berarducci, Alessandro, Otero, Margarita
Format:	Artikel
Sprache:	eng
Schlagworte:	Algebra Definable sets Homeomorphism Homomorphisms Mathematical manifolds Mathematical theorems Topological compactness Topology Triangulation Vertices
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!