MODNET

Research Training Network in Model Theory

Publications > Preprint server > Preprint Number 1146
Preprint Number 1146
1146. Chris Miller and Athipat Thamrongthanyalak D-minimal expansions of the real field have the C^p zero set property E-mail: 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: |

Last updated: February 1 2017 13:45 | Please send your corrections to: |