**NY Philosophical Logic Group**

**Time: 4-6pm, Monday, April 22nd**

Place: 2nd floor seminar room, Philosophy Department, NYU (5 Washington Place).

Speaker: Geoff Hellman, University of Minnesota

Title: ” On Resolving the Set-Theoretic and Semantic Paradoxes”

Abstract: Our main goals are, first, to describe how modal structuralism resolves the set-theoretic paradoxes, concentrating on the Burali-Forti paradox, and then to note a close connection to recent proposals (due to Cook and Schlenker, independently) for resolving semantic paradoxes, especially the Liar.

**Computational Logic Seminar**

**Tuesday, April 23, 2013 2:00 pm Room 3209**

Speaker: Yoram Moses Israel Institute of Technology – Technion

Title: On Time, Communication and Coordination

Recent work has shown that applications of the modal logic of knowledge allow a characterization of the interaction between communication and coordination in systems with clocks and timing information. This talk will survey some of these results and the underlying notions and techniques. Time permitting, some issues related to the interaction between time and causality will be discussed. The focus of the talk will be on the interface between logic (or semantic notions) and application, rather than on the properties of the logic itself.

**Models of PA**

**Wednesday, April 24, 2013 6:30 pm GC 4214.03**

Speaker: Erez Shochat St. Francis College

Title: Regular Interstices

We define the notion of a regular interstice and show that every regular interstice has elements realizing selective types.

**Set theory seminar**

** Friday, April 26, 2013 10:00 am GC 5383 **

Speaker: Victoria Gitman The New York City College of Technology (CityTech), CUNY

Title: Ramsey cardinals I

**Model theory seminar**

**Friday, April 26, 2013 12:30 pm GC 6417**

Speaker: Alex Rennet University of Toronto

Title: TBA

**CUNY Logic Workshop**

**Friday, April 26, 2013 2:00 pm GC 6417 **

Speaker: Philipp Rothmaler The City University of New York

Title: Mittag-Leffler objects in definable categories of modules

Link: http://nylogic.org/talks/title-tba-5

Definable categories are classes of modules closed under direct product, direct limit, and pure submodule. These play an important role in the theory of modules as they are in bijection with the closed sets of the Ziegler spectrum (and thus with the product closed complete theories of modules). Mittag-Leffler objects for such categories (some sort of generalized atomic module) will be introduced and a necessary and sufficient condition in terms of generators and generalized relations will be given for them to exist.