VanDieren's research is in Model Theory, a branch of Mathematical Logic. Her specialization is in abstract elementary classes
. In her Ph.D. thesis she introduced the concept of tameness
for abstract elementary classes and began the development for a classification theory for these classes. A Pittsburgh Post Gazette article
describes her research, outreach activities and how she finds beauty in mathematics.
Publications and Preprints
- R. Grossberg, A. Kolesnikov, I. Tomasic, M. VanDieren. The equality S1=D=R. Mathematical Logic Quarterly. 49 (2003) 115--128.
- M. VanDieren. Categoricity in abstract elementary classes with no maximal models. Annals of Pure and Applied Logic. 141 Issues 1-2, (2006) 108--147.
- R. Grossberg and M. VanDieren. Shelah's Categoricity Conjecture from a successor for tame abstract elementary classes. Journal of Symbolic Logic 71 (2006) Issue 2, (2006) 553--568.
- R. Grossberg and M. VanDieren. Galois-stability of tame abstract elementary classes. Journal of Mathematical Logic. 6 no. 1 (2006) 25--49.
- J. Baldwin, D. Kueker and M. VanDieren. Stability transfer for tame abstract elementary classes. Notre Dame Journal of Formal Logic. 4 no. 2 (2006) 291--298.
- R. Grossberg and M. VanDieren. Categoricity from one successor cardinal in tame abstract elementary classes. Journal of Mathematical Logic. 6 no. 2 (2006) 181--201.
- H. Pinson and M. VanDieren. The Creative process: Risk-taking in an interdisciplinary honors course. In R. Bosch, D. McKenna, R. Sarhangi (Eds.) Bridges: Mathematics, Music, Art, Architecture, and Culture, Tessellations Publishing, Phoenix, Arizona, USA, 2012 pp. 515--518.
- M. VanDieren. Erratum to ``Categoricity in abstract elementary classes with no maximal models'' [Ann. Pure Appl. Logic 141 (2006) 108--147.] Annals of Pure and Applied Logic. 164 (2013), pp. 131-133.
DOI 10.1016/jpal.2012.09.003. Final version published online: 26-OCT-2012.
- H. Pinson and M. VanDieren. The taxonomy of significant learning in a math, music, and art course. To appear in P. Hughes, J. Munoz, and M. Tanner (Eds.) Beyond Interdisciplinary: A Handbook of Integrative Curriculum, Pedagogy, and Learning.
- M. VanDieren. Visualizing and Estimating the Mass of a Solid Using Multi-colored Blocks. In J. Libertini and J. Barnes (Eds). Tactile Learning Activities in Undergraduate Mathematics: A Recipe Book for the Classroom. Chapter accepted for publication by the editors. Book will be proposed to the MAA for publication.
- R. Grossberg, A. Villaveces and M. VanDieren. Uniqueness of limit models in abstract elementary classes. Submitted.
- M. VanDieren. Superstability in Tame Abstract Elementary Classes. Preprint available upon request.
- R. Grossberg and M. VanDieren. A stochastically independent example. In preparation.
- NSF Division of Mathematical Sciences Grant 0801313: ``RUI: Model Theory of Abstract Elementary Classes." PI. May 2008-April 2013. $111,000.
- NCHC Portz Grant: ``Intersections: A Multi-University, Hybrid Undergraduate Research Conference." Co-PI. 2009-2010. $1000.
- NSF Division of Undergraduate Education Grant 0806927: ``Robert Morris University S-STEM Scholar Program." Senior Faculty and Former Co-PI. August 2008-July 2013. $562,220.
- US-Colombian Research Group ``Establilidad en Clases No Elementales [Stability in Non-Elementary Classes]." Associate Researcher.
- American Institute of Mathematics Workshop on Non-elementary Model Theory. Co-PI. July 2006.
- Rackham Faculty Fellowship. PI. Summer 2005.
- Outside Reviewer for the Ph.D. dissertation defense of William Boney at Carnegie Mellon University, 2014.
- Outside Reviewer for the Ph.D. dissertation defense of Fred Drueck at the University of Illinois at Chicago, 2012.
- Outside Reviewer for the Ph.D. dissertation defense of Pedro Zambrano at the National University of Colombia in Bogotá, 2011.
- The Opponent for the Ph.D. dissertation defense of Meeri Kesälä at the University of Helsinki, 2006.
- Committee Member for the Ph.D. dissertation defense of Bart Kastermans at the University of Michigan, 2006.