Rebecca Steiner is a CUNY Graduate Center product, having received her Ph.D. here in 2012 as a student of Russell Miller. She then assumed a postdoctoral position at Vanderbilt University, studying computability and computable model theory, with a focus on algebraic structures. In the fall of 2015 she will join the mathematics department of Virginia Commonwealth University.
Dr. Joel (Ronnie) Nagloo studies model theory and differential algebra. He holds a Ph.D. from Leeds University, completed under the supervision of Anand Pillay and Frank Nijhoff. After an initial postdoctoral position at the CUNY Graduate Center, he is now an Assistant Professor in mathematics at Bronx Community College.
Graham Priest, a Distinguished Professor at CUNY Graduate Center, is the most prominent contemporary champion of dialetheism, the view that some claims can be both true and false. He is known for his in-depth analyses of semantic paradoxes, and his many writings relate to paraconsistent and other non-classical logics. He has taught in Australia at the University of Melbourne since 2001 and has authored numerous books. Over the course of his prominent career, he has published articles in nearly every major journal on philosophy and logic. He has held visiting research positions at many universities, including the Australian National University, the Universities of Cambridge, New York, Pittsburgh, São Paulo, Kyoto, and the Soviet Academy of Sciences. He holds a Ph.D. in mathematics from the London School of Economics.
Distinguished professor Arthur W. Apter received his B.S. and Ph.D. degrees, both in mathematics, from MIT in 1975 and 1978, respectively. He is a mathematical logician, with a specialization in set theory, specifically large cardinals, forcing, and indestructibility, and he maintains a burgeoning interest in inner model theory, as well. Professor Apter has published well over 100 research articles.
Professor Apter is known internationally for his foundational early work in choiceless set theory and also for his work in the area of forcing and large cardinals, including especially a large body of results concerning the indestructibility phenomenon of large cardinals and the level-by-level agreement between strong compactness and supercompactness, among many other topics. A prolific researcher, he has published well over 100 articles in refereed research journals.
From his profile at the CUNY Distinguished Professor page:
Professor Arthur W. Apter was born and raised in Brooklyn, New York, where he attended New York City public schools. After graduation in 1971 from Sheepshead Bay High School, he attended MIT, where he earned his B.S. in Mathematics in 1975 and his Ph.D. in Mathematics in 1978. After spending one additional postdoctoral year at MIT, he spent two years in the Mathematics Department of the University of Miami and five years in the Mathematics Department of Rutgers University – Newark Campus.
He has been affiliated with the Mathematics Department of Baruch College since 1986, and was appointed to the Doctoral Faculty in Mathematics of the CUNY Graduate Center in 2006. He was the doctoral advisor of Shoshana Friedman (Ph.D. CUNY 2009) and doctoral co-advisor of Grigor Sargsyan (Ph.D. UC Berkeley 2009), whom he mentored as an undergraduate in the CUNY Baccalaureate Program. He has also supervised two additional students in advanced reading courses in mathematics as undergraduates, Lilit Martirosyan and Chase Skipper.
CURRENT SCHOLARLY INTERESTS:
Professor Apter is a mathematical logician, who specializes in set theory. His research focuses on large cardinals and forcing, but he also maintains a keen interest in inner model theory.
Lehman College Professor Melvin Fitting received the Herbrand Award of 2012 for his groundbreaking contributions to the field of automated theorem proving, which focuses on getting computer programs to prove logical and mathematical deductions.
Dustin Mulcahey earned his Ph.D. from the CUNY Graduate Center in 2012. He does research in the area of category theory, with a related interest in Haskell, and more recently, has organized the Homotopy Type Theory Reading Group.
HoTT Reading Group The goal of this group is to study this: http://homotopytypetheory.org/book/ Homotopy type theory is a new foundation for mathematics based upon type theory and the univalence axiom. This is a topic that unifies the foundations of ma …
Miha Habič is a graduate student at the CUNY GC. He got his Masters Degree in Mathematics at the University of Ljubljana, Slovenia. His interests lie in the area of infinitary computability, forcing and large cardinals.
Philipp Rothmaler is a professor of mathematics at the CUNY Graduate Center and at Bronx Community College, working in mathematical logic and especially model theory. He is the author of the highly regarded book, Introduction to Model Theory.