This Week in Logic at CUNY – update

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:

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.