Expressing the box cone radius in the relational calculus with real polynomial constraints

Abstract

We show that there is a query expressible in first-order logic over the reals that returns, on any given semi-algebraic set A, for every point, a radius around which A is conical in every small enough box. We obtain this result by combining results from differential topology and real algebraic geometry, with recent algorithmic results by Rannou.