29 citations · 42 across the 9 of their papers we have counts for
Showing 2010Show all
3 papers · 1 filter
math.GR2010
The Structure of Divisible Abelian Groups
Daniel Miller
This is an expository work presenting in detail the proof of the structure theorem for divisible abelian groups. A divisible abelian group is an abelian group that satisfies nD=D f…
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…