Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1547

Preprint Number 1547

Previous Next Preprint server

1547. Pantelis E. Eleftheriou, Alex Savatovsky
Expansions of real closed fields which introduce no new smooth functions
E-mail: ,

Submission date: 25 December 2018


We prove the following theorem: let R' be an expansion of the real field 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 with open semialgebraic domain is semialgebraic.

Conditions (I) and (II) hold for various d-minimal expansions R'=(R, P) of the real field, such as when P=2^Z, or P is an iteration sequence. A generalization of the theorem to d-minimal expansions R' of R_an fails. On the other hand, we prove our theorem for expansions R' of arbitrary real closed fields. Moreover, its conclusion holds for certain structures with d-minimal open core, such as (R, R_alg, 2^Z).

Mathematics Subject Classification: 03C64

Keywords and phrases:

Full text arXiv 1812.10151: pdf, ps.

Last updated: March 23 2021 09:21 Please send your corrections to: