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.

Logic Workshop
Friday, February 24, 2012 2:00 pm GC 6417
Professor Simon Thomas (Rutgers University)
On the Steinhaus and Bergman Properties for infinite products of finite groups

Abstract. For each prime p, let SL(2,p) be the corresponding special linear group over the field with p elements. Then, by considering the ultraproduct with respect to any nonprincipal ultrafilter, it is easily seen that the full direct product Π SL(2,p) has countable cofinality. In recent joint work, Jindra Zapletal and I considered the question of whether the existence of a nonprincipal ultrafilter is either necessary or sufficient in order to prove this result. Perhaps surprisingly, the answer turned out to involve large cardinals, a suitable Ramsey theorem and the asymptotic representation theory of finite groups.

Next Week in Logic at CUNY:

Models of Peano Arithmetic
Monday, February 27, 2012 7:00 pm Room 4214-03
Professor Erez Shochat (St. Francis College)
TBA

Computational Logic Seminar
February 28, Time 2:00 – 4:00 PM, Room 3209.
Speaker: Melvin Fitting (CUNY)
Title: (provisional) First-Order Logic of Proofs, semantically.

 

Model Theory Seminar
Friday, March 2, 2012 12:30 pm GC 6417
Professor Jouko Väänänen (University of Helsinki)
On second order model-theory II

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.

Logic Workshop
Friday, March 2, 2012 2:00 pm GC 6417
Professor Zoe Chatzidakis (Université Paris 7)
TBA

– – – – Other Logic News – – – –

MAMLS New York, March 9-10
The Spring 2012 Mid-Atlantic Mathematical Logic Seminar will take place on March 9-10 at the CUNY Graduate Center and Baruch College. Confirmed speakers include David Aspero, Gregory Cherlin, Juliette Kennedy, Karen Lange, Jan Reimann, Mariya Soskova, Henry Towsner and Jouko Väänänen.
For more details visit: http://nylogic.org/MAMLS_GC_2012

– – – – Web Site – – – –

The majority of this information, including an interactive calendar of future events, can be found at our website:

http://nylogic.org/Calendar

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.