Home
 CV      Publications
 Français


Publications

In preparation
  1. Notes on the interdefinability of Weierstrass P-functions  (pdf)
  2. (with Jean-Philippe Rolin) Quantifier elimination in polynomially bounded o-minimal structures
Published and accepted papers
  1. (with G. Jones) On the Decidability of the Real field with a Generic Power Function, Journal of Symbolic Logic (76) Issue 4 (2011), 1418-1428
  2. (with A. Fornasiero) Theorems of the Complement, to appear in “Proceedings of the Thematic Semester in o-minimality at the Fields Institute of Toronto (Spring 2009)”
  3. (with A. Fornasiero) Definably Complete Baire Structures, Fund. Math. 209 (2010), no. 3, 215–241
  4. (with A. Fornasiero) Pfaffian closure for Definably Complete Baire Structures, to appear in Illinois Journal of Mathematics
  5. Noetherian varieties in definably complete structures, Logic and Analysis, Vol. 1, No. 3., 2008, pp. 187-204.
  6. (with A. Berarducci) An effective version of Wilkie’s theorem of the complement and some effective o-minimality results, Annals of Pure Applied Logic 125 (2004), no. 1-3, 43–74
Thesis
On the First-Order Theory of Real Exponentiation, Pisa, Edizioni della Normale, 2008, ISBN 978-88-7642-325-3
(pdf)