Publications and preprints

Asymptotic differential algebra

		Transseries and Todorov-Vernaeve's asymptotic fields (with I. Goldbring), submitted.
		Towards a model theory for transseries (with L. van den Dries and J. van der Hoeven),  Notre Dame J. Form. Log., to appear.
		Logarithms of iteration matrices, and proof of a conjecture by Shadrin and Zvonkine J. Combin. Theory Ser. A 119 (2012), 627-654.
		Differentially algebraic gaps (with L. van den Dries and J. van der Hoeven) Selecta Math. 11 (2005), 247-280.
		Asymptotic differential algebra (with L. van den Dries) In: O. Costin, M. D. Kruskal, A. Macintyre (eds.), Analyzable Functions and Applications, Contemp. Math. 373, Amer. Math. Soc., Providence, RI (2005), 49-85.
		Liouville closed H-fields (with L. van den Dries) J. Pure  Appl. Algebra 197 (2005), 83-139.
		Some remarks about asymptotic couples In: F.-V. Kuhlmann, S. Kuhlmann, M. Marshall (eds.), Valuation Theory and its Applications, II, Fields Institute Publications 33, AMS, Providence, RI (2003), 7-18.
		H-fields and their Liouville extensions (with L. van den Dries) Math. Z. 242 (2002), 543-588.
		Closed asymptotic couples (with L. van den Dries) J. Algebra 225, 309-358 (2000).

Model theory and tame geometry

		Vapnik-Chervonenkis density in some theories without the independence property, I (with A. Dolich, D. Haskell, D. Macpherson, and S. Starchenko), submitted.
		Vapnik-Chervonenkis density in some theories without the independence property, II (with A. Dolich, D. Haskell, D. Macpherson, and S. Starchenko), Notre Dame J. Form. Log., to appear.
		Definable versions of theorems by Kirszbraun and Helly (with A. Fischer) Proc. London Math. Soc. 102 (2011), 468-502.
		Strongly minimal groups in the theory of compact complex spaces (with R. Moosa and T. Scanlon) J. Symbolic Logic 71 (2006), 529-552.

Group theory, 3-manifold groups

		3-manifold groups (with S. Friedl and H. Wilton)
		3-manifold groups are virtually residually p (with S. Friedl) Mem. Amer. Math. Soc., to appear.
		Residual properties of graph manifold groups (with S. Friedl) Topology Appl. 158 (2011), 1179-1191.
		A criterion for HNN extensions of finite p-groups to be residually p (with S. Friedl)  J. Pure Appl. Algebra 215 (2011), 2280-2289.

Bounds and algorithms in algebra

		An effective Weierstrass Division Theorem
		Algorithms for computing saturations of ideals in finitely generated commutative rings Appendix to: Automorphisms mapping a point into a subvariety, J. Algebraic Geom. 20 (2011), 785-794. (by B. Poonen)
		Degree bounds for Gröbner bases in algebras of solvable type (with A. Leykin) J. Pure Appl. Algebra 213 (2009), 1578-1605.
		Lefschetz extensions, tight closure, and big Cohen-Macaulay algebras (with H. Schoutens) Israel J. Math. 161 (2007), 221-310.
		Finite generation of symmetric ideals (with C. Hillar) Trans. Amer. Math. Soc. 359 (2007), 5171-5192.
		Finiteness theorems in stochastic integer programming (with R. Hemmecke) Found. Comput. Math. 7 (2007), 183-227.
		Bounds and definability in polynomial rings Quart. J. Math. 56 (2005), 263-300.
		Reduction mod p of standard bases Comm. Algebra 33 (2005), 1635-1661.
		Orderings of monomial ideals (with W.-Y. Pong) Fund. Math. 181 (2004), 27-74.
		Ideal membership in polynomial rings over the integers J. Amer. Math. Soc. 17 (2004), 407-441.

Miscellaneous unpublished notes

An elimination theorem for mixed real-integer systems

Back to my home page.      Last modified June 12, 2012.