Submission date: 19 January 2017

Abstract:

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.