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

ConstructivityAtCUNY.com

– – – – Web Site – – – –

The majority of this information, including an interactive calendar of

future events, can be found at our website:

http://nylogic.org/Calendar

——– ADMINISTRIVIA ——–

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

jreitz@nylogic.org.

If you have a logic-related event that you would like included in

future mailings, please email jreitz@nylogic.org.