1 citations · 1 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2007
A decision procedure for linear "big O" equations
Jeremy Avigad, Kevin Donnelly
Let be the set of functions from an infinite set, , to an ordered ring, . For , , and in , the assertion means that for some constant , $|f…
cs.LO2006
Quantifier elimination for the reals with a predicate for the powers of two
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…