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.

– – – – Wednesday, Dec 07, 2011 – – – –

– – – – Thursday, Dec 08, 2011 – – – –

– – – – Friday, Dec 09, 2011 – – – –

Set Theory Seminar

Friday, December 9, 2011 10:00 am GC 6417

Professor Graham Priest (Graduate Center, CUNY and University of Melbourne) Paraconsistent Set Theory

Abstract. Paraconsistent logics are those logics in which

contradictions do not entail arbitrary conclusions. These logics make possible naïve set theories, which contain an unrestricted

comprehension principle for sets. Contradictions such as Russell’s paradox are forthcoming, but these contradictions are quarantined. Paraconsistent set theories and their properties have been

investigated since the 1970s. In this talk I will describe one approach to paraconsistent set theory. This is concerned mainly with the models for such a theory.

Kolchin Seminar in Differential Algebra

Friday, December 9, 2011 at 10:15 a.m. GC Room 5382

David Marker, University of Illinois at Chicago

Strongly Minimal Sets in Differential Fields

Abstract. A fundamental insight of modern model theory is that understanding the combinatorial geometry of strongly minimal sets in differentially closed fields is a crucial first step in differential algebraic geometry. In this lecture I will give a detailed overview and if time permits, I will go through the proofs of some of the key parts of the trichotomy theorem.

Model Theory Seminar

Friday, December 9, 2011 12:30 pm GC 6417

Mr. Manuel Alves (Ph.D. Program in Mathematics, Graduate Center of CUNY) Zilber’s trichotomy III

Logic Workshop

Friday, December 9, 2011 2:00 pm GC 6417

Professor Jouko Väänänen (University of Helsinki)

Second order model theory

Abstract. Second order logic is so strong that it makes sense to ask, are complete finitely axiomatized second order theories always categorical? Carnap claimed that the answer is yes, but his proof did not work. Ajtai and Solovay showed that the answer depends on set theory. We present some recent new results in this field. This is joint work with Hyttinen, Ikegami, Kangas, and Shelah.

Logic and Games Seminar

Friday, December 9, 2011 4:15 pm GC, Room 9206

Professor Joseph Y. Halpern (Cornell University)

Iterated Regret Minimization: A New Solution Concept

Next Week in Logic at CUNY:

– – – – Monday, Dec 12, 2011 – – – –

– – – – Tuesday, Dec 13, 2011 – – – –

– – – – Wednesday, Dec 14, 2011 – – – –

– – – – Thursday, Dec 15, 2011 – – – –

– – – – Friday, Dec 16, 2011 – – – –

Logic and Games Seminar

Friday, December 16, 2011 4:15 pm GC, Room 4419

Dr. Eric Joseph Pacuit (Center for Logic and Philosophy of Science, Tilburg University)

TBA

– – – – Other Logic News – – – –

– – – – Web Site – – – –

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