This Week in Logic at CUNY

Set Theory Seminar
Friday, March 30, 2012 10:00 am GC 6417
Ms. Kaethe Minden
Consistency and Applications of the Diamond Principle

Model Theory Seminar
Friday, March 30, 2012 12:30 pm GC 6417
Mr. Manuel Alves (Ph.D. Program in Mathematics, Graduate Center of CUNY)
Introduction to elementary duality for modules

Models of Peano Arithmetic
Monday, March 26, 2012 7:00 pm Room 4214-03
Professor Alfred Dolich (Kingsborough Community College)
Omega-1 like models of Presburger arithmetic


Computational Logic Seminar
Time 2:00 – 4:00 PM, Room 3209, March 27, 2012
Speaker: Curtis Franks (Notre Dame)
Title: An ancient substructural logic

Abstract: The exegesis of sacred rites in the Talmud is subject to a
restriction on the iteration and composition of inference rules. In
order to determine the scope and limits of that restriction, the sages
of the Talmud deploy those very same inference rules. The system of
reasoning on display can be thought of as a substructural logic with
some remarkable features: (1) the “Lewis Carroll paradox” is
blocked, and in fact arguments often require premises that state that
a valid inference is admissible; (2) “rule-circularity” becomes an
essential component in reasoning; (3) manifestly transitive inference
rules can be iterated in irreducible sequences. We will examine and
appreciate the Talmudic passage as a remarkably sophisticated logical
discussion for its time, but we will focus more on the Talmudic system
as an interesting logic in its own rite.

Next Week in Logic at CUNY:

– – – – Monday, Apr 2, 2012 – – – –

Models of Peano Arithmetic
Monday, April 2, 2012 7:00 pm Room 4214-03
Dr. Kerry Ojakian (Department of Mathematics, St. Joseph College)
Integer parts of real closed fields and weaker fragments of arithmetic

– – – – Tuesday, Apr 3, 2012 – – – –

– – – – Wednesday, Apr 4, 2012 – – – –

Model Theory Seminar
Wednesday, April 4, 2012 6:30 pm Room 4012-03
Professor Alexander Bernstein (Universidad de los Andes)
Ample metric generics (joint work with Itaï Ben Yaacov and Julien Melleray)

Abstract. We recall the notion of ample generics introduced by Kechris
and Rosendal and how it is related to Fraïssé constructions. We define
and study the notion of ample metric generics for a Polish topological
group, which is a weakening of the notion of ample generics. Examples
of Polish groups with ample metric generics include the unitary group
of a separable Hilbert space, and the automorphism group of the
Lebesgue measure algebra on [0,1]. As an application, we deduce from
this and earlier work of Kittrell and Tsankov that this last group has
the automatic continuity property, i.e., any morphism from
automorphism group of the Lebesgue measure algebra into a separable
topological group is continuous.

– – – – Thursday, Apr 5, 2012 – – – –

– – – – Friday, Apr 6, 2012 – – – –

CUNY Spring Break April 6 – 15

– – – – Other Logic News – – – –

Conference Announcement and Call for Participation
The Constructive in Logic and Applications.
A 60th Birthday Celebration Honoring Sergei Artemov
May 23–25, 2012, in the CUNY Graduate Center, 365 Fifth Avenue, New York City.
Registration and further information can be found at:

– – – – Web Site – – – –

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


To subscribe/unsubscribe to this list, please email your request to

If you have a logic-related event that you would like included in
future mailings, please email

Leave a Reply

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

Time limit is exhausted. Please reload CAPTCHA.

This site uses Akismet to reduce spam. Learn how your comment data is processed.