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.
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
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)
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.
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