activity
20092025
most citedStability under integration of sums of products of real globally subanalytic functions and their logarithms

29 citations · 42 across the 9 of their papers we have counts for

collaborators
Showing math.LOShow all

2 papers · 1 filter

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…