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
Friday, April 26, 2013 12:30 pm GC 6417
Speaker: Alex Rennet University of Toronto
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
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.