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

Preprint Number 1377

Previous Next Preprint server

1377. Tomohiro Kawakami
Every definable C^{∞} manifold is affine

Submission date: 29 January 2018


Let M=(R, +, × , <, e^x, ...) be an exponential o-minimal expansion of the standard structure R=(R, +, × , <) of the field of real numbers with C^{∞} cell decomposition. We prove that every n-dimensional definable C^{∞} manifold is definably C^{∞} imbeddable into bR^{2n+1}.

Mathematics Subject Classification: 14P10, 14P20, 57R55, 58A05, 03C64.

Keywords and phrases: Definable C^{∞} manifolds, o-minimal, affine.

Full text: pdf, dvi, ps.

Last updated: February 2 2018 16:44 Please send your corrections to: