Powers are easy to avoid

Publication date 20 November 2020

Abstract: Suppose that

w i d e t i l d e m a t h b b R

is an o-minimal expansion of the real field in which restricted power functions are definable. We show that if

w i d e h a t m a t h b b R

is both a reduct (in the sense of definability) of the expansion

w i d e t i l d e {m a t h b b R}^{m a t h b b R}

of

w i d e t i l d e m a t h b b R

by all real power functions and an expansion (again in the sense of definability) of

w i d e t i l d e m a t h b b R

, then, provided that

w i d e t i l d e m a t h b b R

and

w i d e h a t m a t h b b R

have the same field of exponents, they define the same sets. This can be viewed as a polynomially bounded version of an old conjecture of van den Dries and Miller.

This page was built for publication: Powers are easy to avoid

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6354185)