Triangulation in o-minimal fields with standard part map
Logic
2009-01-16 v1
Abstract
In answering questions from arXiv:0901.2337v1 we prove a triangulation result that is of independent interest. In more detail, let R be an o-minimal field with a proper convex subring V, and let st: V \to k be the corresponding standard part map. Under a mild assumption on (R,V) we show that definable subsets X of V^n admit a triangulation that induces a triangulation of its standard part st(X).
Keywords
Cite
@article{arxiv.0901.2339,
title = {Triangulation in o-minimal fields with standard part map},
author = {Lou van den Dries and Jana Maříková},
journal= {arXiv preprint arXiv:0901.2339},
year = {2009}
}