# Blog Archives

# Topic Archive: CUNY

CCNY (CUNY) & ILLC (University of Amsterdam)

Sam Van Gool is a Marie Skłodowska-Curie post-doctoral fellow, currently working in the Mathematics Department of the City College of New York. His research interests are duality theory and its applications to mathematical logic and computer science, including automata, semigroups, and modal logics.

CUNY Logic WorkshopFriday, May 15, 20152:00 pmGC 6417

# Effective symmetry breaking

Vanderbilt University

Symmetry breaking involves the coloring of elements of a structure so that the only automorphism of the structure which respects the coloring is the trivial one. We investigate how much information we would need to be able to compute a 2-coloring of a computable finite-branching tree under the predecessor function which eliminates all automorphisms except the trivial one; we also generalize to n-colorings for fixed n and for variable n. Then, we suppose the tree is no longer finite branching, and we observe what happens to the difficulty of computing a 2-coloring.

Vanderbilt University

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.

CUNY Graduate Center

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.

Baruch College - CUNY

Laurie Kirby received his Ph.D. from Manchester University in 1977. After spells in Paris and Princeton, he joined Baruch College as a professor in 1982.

College of Staten Island - CUNY

Prof. Conidis received his Ph.D. in mathematics from the University of Chicago in 2009, under the supervision of Denis Hirschfeldt, Antonio Montalban, and Robert Soare, and subsequently held postdoctoral positions at the University of Waterloo and at Vanderbilt University. His work applies techniques of computability theory to problems in algebra, analysis, and combinatorics. He is now an Assistant Professor at the College of Staten Island in CUNY.

CUNY Graduate Center, Ph.D. Program in Philosophy

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.

Bronx Community College, CUNY

George Leibman is a professor in the Mathematics and Computer Science department at Bronx Community College, CUNY. He received his doctorate from the CUNY Graduate Center in 2004, under the direction of Joel Hamkins, and he conducts research in set theory, with a particular interest in the modal logic of forcing.

The CUNY Graduate Center

Zachary McGuirk is a Ph.D. student at the CUNY Graduate Center studying with Professor Gambourd.

Rutgers University

Grigor Sargsyan is a professor of mathematics at Rutgers University. He received his Ph.D. at UC Berkeley, 2009. His research interests are in logic, set theory, and foundations: descriptive set theory, inner model theory, large cardinals, and forcing.

The City University of New York

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.

City Tech - CUNY

Sheila Miller is an Assistant Professor at the New York City College of Technology, in CUNY. She received her Ph.D. from the University of Colorado at Boulder in 2007, with a thesis entitled “Free Left-Distributive Algebras,” written under the supervision of Richard Laver, and subsequently held a postdoctoral position at the USMA in West Point. In addition to set theory and distributive algebras, she studies mathematical biology, with ongoing research into populations of sea turtles.

The City University of New York

Dr. Elena Y. Nogina has authored more than sixty papers in mathematical logic and computability theory. She was a tenured professor for many years at Moscow University. She also held a research position at the Computing Center of the USSR Academy of Sciences, as well as visiting professorships at the University of Montpellier, France, and at the University of Amsterdam, the Netherlands. Since moving to the United States, Dr. Nogina has been teaching mathematics at CUNY, first at Lehman College and then at BMCC. Her current research interests include modal logics of provability and proofs, and their applications in the mathematical theory of knowledge and game theory. Since her appointment to BMCC in 2004, Dr. Nogina has been the recipient of research grants from different agencies, including the National Science Foundation. She was recently a visiting scholar at the University of Bern, Switzerland, and Cornell University.

Bronx Community College

Kerry Ojakian is a professor of mathematics at the City University of New York (Bronx Community College). He conducts research in logic and combinatorics.

Lehman College - CUNY Graduate Center

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.