Petr Glivický is a Researcher at Charles University in Prague, in the Department of Theoretical Computer Science and Mathematical Logic, where he received his doctorate in 2013 as a student of Josef Mlček. His research interests include model theory, Peano Arithmetic, and non-standard analysis.

Professor Hrbacek undertakes research in the area of mathematical logic, particularly in set theory, with a focus on non-standard analysis and nonstandard set theory. He wrote in co-authorship with Thomas Jech the highly regarded book Introduction to Set Theory.

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.