http://www.math.u-bordeaux1.fr/~ybilu/publ/basel_yaro_chennai.pdf

You will find further references therein.

]]>I am really curious: could you give examples? Or, more simply, do you plan to be in Israel any time soon?

In analysis (analytic ODEs and limit cycles) the work is more on the foundational level, developing tools and sophisticating the language. I’m afraid that if (when?) the original problems will be solved by the logicians, the rest of us would already be unable to understand them.

]]>Apparently, the difficulties turned out to be much heavier than initially believed. Thus far (apart some general theory-building), the o-minimality approach is yet to bring its fruits in the area which was a primary potential customer.

BTW, what means 90 at the title?

]]>http://lucatrevisan.wordpress.com/latex-to-wordpress/

Sorry, cannot help more.

]]>(as in Theorem 1 let {\Gamma} be segment of an irreducible plane algebraic curve of degree {\nu} contained in the unit square {[0,1]^2}. Then for {{\epsilon>0}}

\displaystyle \left|\Gamma \cap (N^{-1}{\mathbb Z})^2\right| \le c(\nu,\epsilon)N^{1/\nu+\epsilon}. ) — of this post. I’ll appreciate your suggestions.

]]>