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
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…