1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Jeremy Avigad, Yimu Yin
In 1985, van den Dries showed that the theory of the reals with a predicate for the integer powers of two admits quantifier elimination in an expanded language, and is hence decida…