On defining C∞

DOI10.2307/2275270zbMath0808.03023OpenAlexW2082101973MaRDI QIDQ4292613

A. J. Wilkie

Publication date: 15 March 1995

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275270

zbMATH Keywords

exponentiationmodel completeness\(C^ \infty\)-function

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Models of other mathematical theories (03C65)

Related Items (5)

Transversality of smooth definable maps in O-minimal structures ⋮ On smooth locally o-minimal functions ⋮ Definability in o-minimal expansions of the real numbers ⋮ Smooth functions in o-minimal structures ⋮ o-minimal analytic separation of sets in dimension 2

This page was built for publication: On defining C^∞