Expansions of real closed fields that introduce no new smooth functions

Abstract: We prove the following theorem: let

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

be an expansion of the real field

o v e r l i n e m a t h b b R

, such that every definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a "semialgebraic chunk". Then every definable smooth function

f : X s u b s e t e q m a t h b b R^{n} o m a t h b b R

with open semialgebraic domain is semialgebraic. Conditions (I) and (II) hold for various d-minimal expansions

w i d e t i l d e m a t h c a l R = l a n g l e o v e r l i n e m a t h b b R, P a n g l e

of the real field, such as when

P = 2^{m} a t h b b Z

, or

P s u b s e t e q m a t h b b R

is an iteration sequence. A generalization of the theorem to d-minimal expansions

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

of

m a t h b b R_{a n}

fails. On the other hand, we prove our theorem for expansions

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

of arbitrary real closed fields. Moreover, its conclusion holds for certain structures with d-minimal open core, such as

l a n g l e o v e r l i n e m a t h b b R, m a t h b b R_{a l g}, 2^{m} a t h b b Z a n g l e

.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Expansions of real closed fields that introduce no new smooth functions

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