**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: