Monica VanDieren
Ph.D Student
Department of Mathematical Sciences
Carnegie Mellon University
Pittsburgh, PA
Office hours: By Appointment
Office:  7213 Wean Hall
Voice:  (412) 268-6540
Or Leave a Message:  (412) 268-2545
Fax:  (412) 268-6380
E-mail:
  monicav@andrew.cmu.edu


Pictures Ariella's Photos Mathematics Links Other Links


Professional Background
Education
Ph.D., Mathematics - Pure and Applied Logic, Carnegie Mellon University, May 2002.
M.S., Mathematical Sciences, Carnegie Mellon University, May 1998.
B.S., With Distinction, Mathematics, University of Illinois, Urbana-Champaign, May 1996.
Research Interests

I am a Ph.D. student in the Pure and Applied Logic program through the Mathematical Sciences Department at Carnegie Mellon University.   I am interested in model theory, particularly the classification of non-elementary classes.
My advisor is Prof. Rami Grossberg.

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. Preliminary draft. Last updated 01/11/02. Download the dvi, ps, or pdf file. Note: dvi file requires xy-pic for proper viewing.

Monica VanDieren. A Substitute for Saturation in Abstract Elementary Classes. Preliminary draft (37 pages). E-mail me for the most recent version.

Recent Talks

A Substitute for Saturation in AECs New York City Logic Conference - Mel Fitting Celebration, CUNY Graduate Center. April 6, 2002.

Towards a Version of Morley's Theorem for AECs Penn State Logic Seminar March 19, 2002.

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, Summer 2000.

Teaching Experience
Carnegie Mellon University
  • Instructor
  • Teaching Assistant
    • Real Analysis for the Summer Undergraduate Applied Mathematics Institute , Summer 1999 and 2000.
    • Models and Methods of Optimization, Fall 1996, Spring 1999 and Fall 2001.
    • Concepts of Mathematics, Spring and Fall 1998.
    • Calculus I, Spring and Fall 1997.
    • Pre-calculus, Fall 1997.
  • Lab Assistant
    • Maple Lab for the Summer Undergraduate Applied Mathematics Institute, Summer 1998.
    • Mathematica Lab for the Summer Undergraduate Applied Mathematics Institute, Summer 2001.
  • Grader
    • Set Theory, Spring 1999 and Spring 2002.
Point Park College, Accelerated MBA Program
  • Instructor, Statistics and Quantitative Methods, Summer 2000.
University of Illinois, Urbana-Champaign
  • Teaching Assistant, Harvard Calculus, Fall 1995 and Spring 1996.
  • Grader, Mathematical Logic, Spring 1996.
  • Tutor through the Department of Mathematics 1994-1996.
Iowa State University
  • Tutor for the Student Resource Center, 1993-1994.

Pictures Ariella's Photos Mathematics Links Other Links


  Valid HTML 4.0!
Last updated May 7th, 2002.