This Week in Logic at CUNY

  Computational Logic Seminar November 13, Time 2:00 – 4:00 PM, GC Room 3309 Speaker: Wojtek Moczydlowski, Google Title: Applied higher infinities in impredicative constructive set theories. Abstract: The Intuitionistic Zermelo Fraenkel set theory IZF was introduced by Myhill more than 30 years ago, starting investigations into the world of constructive set theories. continue reading…