![]() |
Professor |
LINKS:
Math 141, Autumn 2020
Slides from my Talks
I serve as one of two Secretary-Treasurers for the
Association for Symbolic Logic. The other is
Prof. Reed Solomon,
of the University of Connecticut. Among other duties, I handle applications
for ASL sponsorship of logic conferences around the world:
click here for more information.
I am an organizer for the
CUNY Logic Workshop.
In addition, here is a link to other logic seminars at the CUNY Graduate Center.
I am on the Editorial Board of
Computability, the journal of the
Association
Computability in Europe, and also serve on the Steering Committee
for that Association.
In Autumn 2020, I am a co-organizer of the program
Decidability,
Definability, and Computability in Number Theory at the
Mathematical Sciences Research Institute in Berkeley, CA.
This program is taking place principally online, due to the covid-19 pandemic.