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

Preprint Number 1146

Previous Next Preprint server

1146. Chris Miller and Athipat Thamrongthanyalak
D-minimal expansions of the real field have the C^p zero set property

Submission date: 19 January 2017


Let E be a closed subset of R^n and p be a natural number. If the structure (R,+,×,E) is d-minimal (that is, in every structure elementarily equivalent to (R,+,×,E), every unary definable set is a disjoint union of open intervals and finitely many discrete sets), then there exist C^p functions f: R^n → R definable in (R,+,×,E) such that E is the zero set of f.

Mathematics Subject Classification: Primary 26B05; Secondary 03C64

Keywords and phrases:

Full text: pdf, dvi, ps.

Last updated: March 23 2021 10:20 Please send your corrections to: