Triangulation in o-minimal fields with standard part map

DOI10.4064/FM209-2-3zbMATH Open1221.03030arXiv0901.2339OpenAlexW2592210149MaRDI QIDQ3080011FDOQ3080011

Jana Maříková, Lou van den Dries

Publication date: 4 March 2011

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

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).

Full work available at URL: https://arxiv.org/abs/0901.2339

zbMATH Keywords

triangulationo-minimal structuresresidue field

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Semialgebraic sets and related spaces (14P10) Model theory of fields (12L12)

Cited In (4)

• 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

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Minimal triangulations of Kummer varieties 👍 👎
• On a property of minimal triangulations 👍 👎
• A trichotomy theorem for o-minimal structures 👍 👎
• A minimal triangulation of the Hopf map and its application 👍 👎
• O-minimal fields with standard part map 👍 👎
• Normal triangulations in o-minimal structures 👍 👎
• The structure on the real field generated by the standard part map on an o-minimal expansion of a real closed field 👍 👎
• Strict \(C^1\)-triangulations in o-minimal structures 👍 👎

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)