**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

Link: http://nylogic.org/talks/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

Link: http://nylogic.org/talks/how-to-make-a-full-satisfaction-class

**NYCAC 6**

**The New York Colloquium on Algorithms and Complexity**

**Friday, November 15, 2013**

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)

**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: http://nylogic.org/talks/a-jonsson-omega_1-like-model-of-set-theoryA 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

Link: http://nylogic.org/talks/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

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