Recent and upcoming talks by Jouko Väänänen

This Week in Logic at CUNY

This Week in Logic at CUNY: Model Theory Seminar Friday, February 24, 2012 12:30 pm GC 6417 Professor Jouko Väänänen (University of Helsinki) On second order model-theory I Abstract. This mini course will cover the following topics: second order characterizable structures, Henkin models, Completeness Theorem, internal categoricity, and existence of second order equivalent non-isomorphic models. continue reading…

Jay Williams; Jouko Vaananen

Rutgers Logic Seminars Spring 2012 Room 705, Hill Center Descriptive Set Theory Seminar Monday Feb 27th, 3:20-4:40 pm Jay Williams, Rutgers Actions of the infinite symmetric group II Rutgers Logic Seminar Monday Feb 27th, 5:00-6:20 pm Jouko Vaananen, University of Helsinki Second order model theory continue reading…

This Week in Logic at CUNY

Computational Logic Seminar Time 2:00 – 4:00 PM, February 14, Room 3209 Speaker: Antonis Achilleos (Graduate Center) Title: The complexity of multi-agent explicit knowledge II. Models of Peano Arithmetic Wednesday, February 15, 2012 6:30 pm Room 4214-03 ((Note: new day and time)) Professor Roman Kossak (The City University of New York) More on open problems in Models of PA Set Theory Seminar Friday, February 17, 2012 10:00 am GC 6417 Ms. continue reading…

This Week in Logic at CUNY

This Week in Logic at CUNY: – – – – Monday, Jan 30, 2012 – – – – – – – – Tuesday, Jan 31, 2012 – – – – Computational Logic Seminar Room 4433. continue reading…

Spring 2012 Mid-Atlantic Mathematical Logic Seminar

The MAMLS spring meeting for 2012 will be held at the CUNY Graduate Center and Baruch College, March 9-10, 2012, beginning 1:00 pm Friday, March 9, and ending 5:30 pm Saturday, March 10. continue reading…

This Week in Logic at CUNY – update

Added talk on Friday, Dec 9 by David Marker in the Kolchin Seminar (Strongly Minimal Sets in Differential Fields). Regards, Jonas Reitz This Week in Logic at CUNY: – – – – Monday, Dec 5, 2011 – – – – – – – – Tuesday, Dec 6, 2011 – – – – NOTE: the Computational Logic seminar will not meet today. continue reading…