Semi-algebraic triangulation over p-adically closed fields
arXiv:1702.05030 · doi:10.1112/plms.12221
Abstract
We prove a triangulation theorem for semi-algebraic sets over a p-adically closed field, quite similar to its real counterpart. We derive from it several applications like the existence of flexible retractions and splitting for semi-algebraic sets.