Topic Archive: New Foundations
Professor Enayat (Ph.D. 1984 University of Wisconsin, Madison) has been on the faculty of American University since 1987, with various visiting positions at Sharif University of Technology in Tehran (1993), at IPM, at Utrecht University (2007 & 2009) and at the Mittag-Leffler Institute (2009), and prior positions at Western Illinois University and at San Jose State University in California. He conducts research in mathematical logic, with a strong interest in the metamathematics of foundational axiomatic systems such as Zermelo-Fraenkel set theory (ZF) and Peano arithmetic (PA). Professor Enayat is one of the world experts on nonstandard models of set theory and of arithmetic. His approach is dominantly model-theoretic and has focused on fragments of ZF, ZF with large cardinals, Quine-Jensen set theory NFU, and arithmetical systems of various flavors, ranging from fragments of PA, all the way to second order arithmetic and its subsystems.