25 citations · 95 across the 28 of their papers we have counts for
1 paper · 2 filters
Raf Cluckers, Immanuel Halupczok
We give a new proof of quantifier elimination in the theory of all ordered abelian groups in a suitable language. More precisely, this is only "quantifier elimination relative to o…