This Week in Logic at CUNY

Computational Logic Seminar
Tuesday, November 12, 2013 2:00 pm Graduate Center, rm. 3209 
Speaker: Melvin Fitting Lehman College – CUNY Graduate Center
Title: Realization Semantically

This talk continues my previous one from October 22. In that, I gave justification counterparts for S4.2 and for K4^3, possible world justification semantics, and a completeness proof. The completeness proof used a canonical model construction. Now I’l use that canonical model to prove, non-constructively, realization theorems for the two logics. The methodology is the same as in a paper of mine published in 2005, though the presentation has change somewhat. Primarily my motivation is to explore the range of modal logics having justification counterparts—to discover its extent and limits.


Models of PA
Wednesday, November 13, 2013 6:30 pm GC 4214.03 
Speaker: Alf Dolich The City University of New York
Title: How to make a full satisfaction class

The New York Colloquium on Algorithms and Complexity
Friday, November 15, 2013
The Graduate Center, CUNY
Room 4102 (Science Center)
NYCAC, the New York Colloquium on Algorithms and Complexity is an annual event.  Its purpose is to give the opportunity to graduate students in New York to observe talks of researchers from all areas of the theory of Algorithms and Computational Complexity.
Invited Speakers
Eric Allender (Rutgers U.)
Wen-Ju Cheng (Graduate Center, CUNY)
Constantinos Daskalakis (MIT)
Rosario Gennaro (CCNY, CUNY)
Steve Homer (Boston U.)
Valia Mitsou (GC, CUNY)
Charalampos (Babis) Papamanthou (U. Maryland)
Dimitris Paparas (Columbia U.)
Kenneth W. Regan (U. Buffalo, SUNY)
On the same day the NYC CryptoDay at NYU will take place.  Visit for more information.
Set theory seminar
Friday, November 15, 2013 10:00 am 
Speaker: Victoria Gitman The New York City College of Technology (CityTech), CUNY
Title: A Jónsson ω1-like model of set theory
Link: first-order structure of cardinality κ is said to be Jónsson if it has no proper elementary substructure of cardinality κ. The speaker will prove a theorem of Julia Knight that there is a Jónsson ω1-like model of set theory.

Model theory seminar
Friday, November 15, 2013 12:30 pm GC 6417 
Speaker: Yevgeniy Vasilyev Memorial University of Newfoundland and Christopher Newport University
Title: On dense independent subsets of geometric structures

We consider expansions of geometric theories obtained by adding a predicate distinguishing a “dense” independent subset, generalizing a construction introduced by A. Dolich, C. Miller and C. Steinhorn in the o-minimal context. The expansion preserves many of the properties related to stability, simplicity, rosiness and NIP. We also study the structure induced on the predicate, and show that despite its geometric triviality, it inherits most of the “combinatorial” complexity of the original theory. This is a joint work with Alexander Berenstein.

CUNY Logic Workshop
Friday, November 15, 2013 2:00 pm GC 6417 
Speaker: Alice Medvedev City College — CUNY
Title: Title TBA

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.