Triangulation in o-minimal fields with standard part map
From MaRDI portal
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 o 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).
Recommendations
- O-minimal fields with standard part map
- Normal triangulations in o-minimal structures
- A trichotomy theorem for o-minimal structures
- Strict C^1-triangulations in o-minimal structures
- Minimal triangulations of Kummer varieties
- The structure on the real field generated by the standard part map on an o-minimal expansion of a real closed field
- On a property of minimal triangulations
- O-minimality and Diophantine geometry
- A minimal triangulation of the Hopf map and its application
- scientific article; zbMATH DE number 1066177
Cited in
(5)- Quantifier elimination for o-minimal structures expanded by a valuational cut
- O-minimal fields with standard part map
- Model completeness of o-minimal fields with convex valuations
- O-minimal residue fields of o-minimal fields
- The structure on the real field generated by the standard part map on an o-minimal expansion of a real closed field
This page was built for publication: Triangulation in o-minimal fields with standard part map
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3080011)
