Monica VanDieren

E-mail:  monicav@andrew.cmu.edu
Personal Information:  Photos, Math Links, Other Links

In Septemeber 2002, I will begin my term as a Szego Assistant Professor in the Mathematics Department at Stanford University. My research is in model theory, a subfield of mathematical logic. I am particularly interested in the classification of non-elementary classes.

I completed a PhD in Mathematics at Carnegie Mellon University on May 19, 2002 under the guidance of my advisor and husband, Rami Grossberg. My thesis examination committee was chaired by John Baldwin. A pdf version of my thesis, Categoricity and Stability in Abstract Elementary Classes, is available.

Papers

• Rami Grossberg, Alexei Kolesnikov, Ivan Tomasic, Monica VanDieren. The D-rank is equal to the R-rank. (22 pages). Final version from 03/28/02. To appear in Mathematical Logic Quarterly. Download the dvi, ps, or pdf file.
• Rami Grossberg, Monica VanDieren. Morley Sequences in Abstract Elementary Classes. See Chapter III of my PhD thesis for a preliminary draft.
• Monica VanDieren. A Substitute for Saturation in Abstract Elementary Classes. See Chapter II of my PhD thesis for a preliminary draft.
• Monica VanDieren. PhD Thesis: Categoricity and Stability in Abstract Elementary Classes. (122 pages). Final version from May 9, 2002. Download the pdf file of the thesis or abstract. View the abstract as an html file.

• TBA Summer Undergraduate Applied Mathematics Institute, CMU, Summer 2002.
• A Substitute for Saturation in AECs New York City Logic Conference - Mel Fitting Celebration, CUNY Graduate Center. April 6, 2002. Abstract.
• Towards a Version of Morley's Theorem for AECs. Penn State Logic Seminar March 19, 2002. Abstract.
• Towards a Categoricity Theorem for Abstract Elementary Classes. West Virginia University Math Colloquium. January 28, 2002.
• AECs with No Maximal Models. Bogota Meeting in Model Theory Universidad Nacional de Colombia, December 10 to 15, 2001. Abstract.
• Stability in Abstract Elementary Classes. Bogota Meeting in Model Theory, Universidad Nacional de Colombia, December 10 to 15, 2001. Abstract.
• Toward a Categoricity Theorem for Abstract Elementary Classes. Rutgers University Logic Conference: Mid-Atlantic Mathematical Logic Seminar, October 13, 2001. Abstract and Slides.
• Stability in Abstract Elementary Classes. Contributed talk at the Greater Boston Logic Meeting at MIT, May 2001. Abstract and Slides.
• Categoricity and Stability in Abstract Elementary Classes. CMU Logic Seminar, November 2000.
• Survey of Model Theory. CMU Undergraduate Math Colloquium, November 2000.
• Introduction to Non-standard Analysis. Summer Undergraduate Applied Mathematics Institute, CMU, Summer 2000.

• Instructor
  • Models and Methods of Optimization, CMU, Fall 1999.
  • Statistics and Quantitative Methods, Point Park College, Accelerated MBA Program, Summer 2000.
• Teaching Assistant
  • Real Analysis for the Summer Undergraduate Applied Mathematics Institute, CMU, Summer 1999 and 2000.
  • Models and Methods of Optimization, CMU, Fall 1996, Spring 1999 and Fall 2001.
  • Concepts of Mathematics, CMU, Spring and Fall 1998.
  • Calculus I, CMU, Spring and Fall 1997.
  • Pre-calculus, CMU, Fall 1997.
  • Teaching Assistant, Harvard Calculus, University of Illinois Urbana-Champaign, Fall 1995 and Spring 1996.
• Lab Assistant
  • Maple Lab for the Summer Undergraduate Applied Mathematics Institute, CMU, Summer 1998.
  • Mathematica Lab for the Summer Undergraduate Applied Mathematics Institute, CMU, Summer 2001.
• Grader
  • Set Theory, CMU, Spring 1999 and Spring 2002.