Logic

National Science Foundation Support
Research training activities in mathematical logic are funded in part by a research training grant from the National Science Foundation. Information about our philosophy and approach, faculty and students and their research and publications is available throughout our site.

Research in mathematical logic at the University of Notre Dame largely resides in two areas: computability theory and model theory. Computability theory concerns computability and complexity, often measured by Turing reducibility. Model theory at Notre Dame deals particularly with classification theory and o-minimality.

The Logic Group at the University of Notre Dame facilitates group-wide and continuous research-based learning activities that involve graduate students, postdoctoral associates, undergraduates, visiting faculty, and Notre Dame faculty. Research training entails the development of a mature, independent research record, experience in collaborative research, and learning the discipline. Students achieve these goals through mentored individual research, collaborative projects, informal discussion with faculty and visitors, coursework, and seminars.

Logic Seminar
Learning Activities
Training

The logic group runs a number of seminars including the logic seminar (logic seminar has two url's. One which includes past, current, and future events but necessarily the title and abstract and one of past and current events with titles and abstracts) and the model theory seminar, and a number of informal seminars.


Logic Group

The faculty members of the Logic Group in the mathematics department include:


Postdocs and their interests in the logic program are listed below.


Graduate students and their advisors include:


Visiting scholars include:


In addition to faculty from the math department, the Logic Research Group includes faculty from the philosophy department and long-term visitors who work on various projects and participate in the Logic Seminar.


Research Programs

Funding for the Logic Group comes from various sources, including grants from the National Science Foundation:

Members of the Logic Group have conducted research in a number of areas including:

  • Computably enumerable sets
  • Computable structure theory
  • Detailed geometrical analysis of superstable theories
  • Effective randomness
  • Model theory
  • Reverse mathematics
  • Simple theories


Recent Mathematical Logic Ph.D.'s

Below are recent logic Ph.D.'s along with their latest known job information.

  • Ambar Chowdhury, 1992, Buechler, working in business
  • Leefong Low, 1992, Pillay, National Teaching University (Singapore)
  • Zeljko Sokolovic, 1992, Pillay
  • Alan Vlach, 1993, Knight, St. Mary's College (Indiana)
  • Katrin Tent, 1994, Buechler, University of Wuerzburg
  • John Thurder, 1994, Knight, Eastern Oregon State University
  • Grzegorz Michalski, 1996, Knight
  • Byunghan Kim, 1996, Pillay, MIT
  • Alex McAllister, 1997, Knight, Center College
  • Colleen Hoover, 1999, Buechler, St Mary’s College (Indiana)
  • Stephen Walk, 1999, Cholak, Saint Cloud State
  • Charles McCoy, 2000, Cholak and Knight, Notre Dame
  • Evgueni Vassiliev, 2001, Buechler, UIUC
  • Alexander Berenstein, 2002, Buechler, UIUC
  • Andrew Arana, 2003 Ph.D. in the Joint Program in Mathematics and Philosophy, Knight and Detlefsen, Kansas State
  • Wesley Calvert, 2005, Knight, Murray State
  • Rebecca Weber, 2005, Cholak, Dartmouth
  • Pantelis Eleftheriou, 2007,  Marie Curie post-doctoral fellow (MODNET), Universitat de Barcelona, Spain
  • Sara Quinn, 2008, Northwestern
  • Christina Maher, 2009, St. Vincent College
  • Josh Cole, 2010, Entered Seminary
  • Logan Axon, 2010, Gonzaga College
  • Prerna Juhlin (Bihani), 2010, Buechler, ABB HVDC (Sweden)
  • John Wallbaum, 2010
  • Sean Walsh, 2010, Birkbeck, London
  • Jacob Carson 2011, Knight
  • Donald Brower 2012, Buechler, University of Notre Dame Libraries
  • Sarah Cotter, 2012, Starchenko, Susquehanna Univeristy
  • Steve Flood, 2012, Cholak, Penn State University
  • Chris Porter, 2012, Cholak, International Postdoc, Paris, France
  • Demirhan Tunc, MS, 2007 (Starchenko)
  • Jesse Johnson, 2013 (Knight)
  • Graham Leach-Krouse, 2013  (Joint PHD in logic and philosophy (Larson), Kansas State
  • Steve VanDenDriessche, 2013 (Knight)
  • Georgios Poulios, 2013 (Starchenko)