most citedConstructing o-minimal structures with decidable theories using generic families of functions from quasianalytic classes

5 citations · 5 across the 3 of their papers we have counts for

collaborators

3 papers

math.CA2013

Bounding the decay of oscillatory integrals with a constructible amplitude function and a globally subanalytic phase function

Raf Cluckers, Daniel J. Miller

We call a function "constructible" if it has a globally subanalytic domain and can be expressed as a sum of products of globally subanalytic functions and logarithms of positively-…

math.LO2010

Characterizing decidability in a quasianalytic setting

Daniel J. Miller

Let $\RR_S$ denote the expansion of the real ordered field by a family of real-valued functions , where each function in is defined on a compact box and is a member of some…

math.LO2010★ 5 cited

Constructing o-minimal structures with decidable theories using generic families of functions from quasianalytic classes

Daniel J. Miller

Let $\RR_S$ denote the expansion of the real ordered field by a family of real-valued functions , where each function in is defined on a compact box and is a member of some…