Timeline for Definable functions in $o$-minimal structures
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 26, 2018 at 15:23 | comment | added | user44143 | Miller’s result is constructive, though the procedure is more complicated than is needed here. In his notation: Let $f$ be a superpolynomial function, $h’ \sim f’/f$, $g = h \circ f^{-1}$, $G(t)=\lim_{x\rightarrow \infty}(g(xt)-g(x))$; then $\log t=G(t)/G’(1)$, $\exp=\log^{-1}$. | |
| Oct 26, 2018 at 14:42 | vote | accept | Andreas Thom | ||
| Oct 26, 2018 at 13:08 | answer | added | user44143 | timeline score: 10 | |
| Oct 26, 2018 at 12:54 | history | edited | Andreas Thom | CC BY-SA 4.0 |
deleted 24 characters in body
|
| Oct 26, 2018 at 12:19 | history | asked | Andreas Thom | CC BY-SA 4.0 |