Rahim Moosa's Homepage

Rahim N. Moosa

Associate Professor
Department of Pure Mathematics
University of Waterloo, MC 5049
Phone number : (519) 888-4567 ext. 32453
email: rmoosa at math dot uwaterloo dot ca

Teaching:

Here is a link to some lecture notes on Model Theory. This formed the basis for PMath 433 (Set Theory and Model Theory) and PMath 711 (Topics in Mathematical Logic: Model Theory).

Research interests:

Model theory (a branch of mathematical logic). Especially interactions with algebra, geometry and number theory.

Seminars:

Here is a link to the Model Theory Learning Seminar at Waterloo.
Here is a link to the Model Theory Seminar at McMaster University.
Here is a link to the Working Model Theory Seminar at McMaster University.

Preprints:

Model theory and complex geometry. To appear in the Notices of the American Mathematical Society.

Generalised Hasse varieies and their jet spaces (with T. Scanlon). Submitted.

Jet and prolongation spaces (with T. Scanlon). To appear in the Journal de l'Institut de Mathematiques de Jussieu.

On canonical bases and internality criteria (with A. Pillay). To appear in the Illinois Journal of Mathematics.

Publications:

An essentially saturated surface not of Kaehler-type (with R. Moraru and M. Toma).
Bull. Lond. Math. Soc., volume 40 (2008), number 5, 845--854.

Differential arcs and regular types in differential fields (with A. Pillay and T. Scanlon).
J. Reine Angew. Math., volume 620 (2008), 35--54.

Model theory and Kaehler geometry (with A. Pillay).
In Model Theory with Applications to Algebra and Analysis Volume 1 (Eds. Z. Chatzidakis, D. Macpherson, A. Pillay, A. Wilkie), London Mathematical Society Lecture Note Series Nr 349, Cambridge University Press 2008, 167--195.

K-analytic versus CCM-analytic sets in nonstandard compact complex manifolds (with S. Starchenko).
Fundamenta Mathematicae, volume 198 (2008), number 2, 139--148.

Stable definablity and generic relations (with B. Kim).
Journal of Symbolic Logic, volume 72 (2007), number 4, 1163--1176.

Division points on subvarieties of isotrivial semiabelian varieties (with D. Ghioca).
International Mathematics Research Notices, volume 2006 (2006), Article ID 65437, 23 pages.

Strongly minimal groups in the theory of compact complex spaces (with M. Aschenbrenner and T. Scanlon).
The Journal of Symbolic Logic, volume 71 (2006), number 2, 529--552.

On saturation and the model theory of compact Kaehler manifolds.
J. reine angew. Math., volume 586 (2005), 1--20.

The model theory of compact complex spaces
Logic Colloquium '01 , Lecture Notes in Logic , vol. 20 (M. Baaz, S. Friedman, and J. Krajicek, eds.),
Association for Symbolic Logic, 2005, pp. 317--349.

F-structures and integral points on semiabelian varieties over finite fields (with T. Scanlon).
American Journal of Mathematics, volume 126 (2004), number 3, 473--522.

A nonstandard Riemann existence theorem.
Transactions of the American Mathematical Society, volume 356 (2004), number 5, 1781--1797.

The Mordell-Lang conjecture in positive characteristic revisited (with T. Scanlon).
Model Theory and Applications,
Quaderni di matematica, vol. 11 (L. Belair, Z. Chatzidakis, P. D'Aquino, D. Marker, M. Otero, F. Point, and A. Wilkie, eds.),
Seconda Universita di Napoli, 2002, p. 273--296.

On difference fields with quantifier elimination.
Bulletin of the London Mathematical Society, volume 33 (2001), number 6, 641--646.

A note on uniform definability and minimal fields of definition.
The Journal of Symbolic Logic, volume 65 (2000), number 2, 817--821.

Unpublished notes:

Compactness of cycle spaces and definability in o-minimal expansions of R_an (with Patrick Speissegger and Sergei Starchenko).
(E-print at http://www.newton.cam.ac.uk/preprints/NI05040.pdf). July 2005.

Jet spaces in complex analytic geometry: An Exposition.
(E-print at http://arxiv.org/abs/math.LO/0405563).

Ph.D. thesis: Contributions to the model theory of fields and compact complex spaces.
University of Illinois at Urbana-Champaign, 2001.

Notes by students:

Notes on "Groupoids, imaginaries and internal covers" . By Oleg Chterental. April 2009

A proof of omega-stability for m-DCF₀ . By Omar Leon Sanchez and Atul Sivaswamy. August 2009

2008 Vita