Recent and upcoming talks by Erez Shochat

This Week in Logic at CUNY

NOTE: the Seminar in Logic and Games meeting this Friday will be in room 4419. Models of PA Wednesday, October 30, 2013 6:30 pm GC 4214.03 Speaker: Erez Shochat St. Francis College Title: Schmerl’s Lemma and Boundedly Saturated Models II Link: http://nylogic.org/talks/schmerls-lemma-and-boundedly-saturated-models-ii  Set theory seminar Friday, November 1, 2013 10:00 am GC 6417 Speaker: Karel Hrbacek City College of New York, CUNY Title: Some problems motivated by nonstandard set theory Link: http://nylogic.org/talks/some-problems-motivated-by-nonstandard-set-theoryNonstandard set theory enriches the usual set theory by a unary “standardness” predicate.   continue reading…

This Week in Logic at CUNY

  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. continue reading…

This Week in Logic at CUNY

Models of PA Wednesday, February 27, 2013 6:45 pm Speaker: Erez Shochat St. Francis College Title: Introduction to interstices and intersticial gaps II   Set theory seminar Friday, March 1, 2013 10:00 am Speaker: Joel David Hamkins The City University of New York Title: The omega one of chess This talk will be based on my recent paper with C. continue reading…

This Week in Logic at CUNY

  Computational Logic Seminar Tuesday, February 19, 2013 2:00 pm Speaker: Sergei Artemov The CUNY Graduate Center Title: On model reasoning in epistemic scenarios It was long noticed that the textbook “solution” of the Muddy Children puzzle MC via reasoning on the n-dimensional cube Q_n had a fundamental gap since it presupposed common knowledge of the Kripke model Q_n which was not assumed in the puzzle description. continue reading…

This Week in Logic at CUNY

  Models of Peano Arithmetic Monday, March 5, 2012 7:00 pm Math Thesis Room (Room 4214-03) Professor Erez Shochat (St. Francis College) Automorphism groups of saturated models of PA (part II)   Other New York Logic Events Tuesday, March 6, 2012 10:30 am GC 4430 Ms. continue reading…

This Week in Logic at CUNY

  Models of Peano Arithmetic Monday, February 27, 2012 7:00 pm Room 4214-03 Professor Erez Shochat (St. Francis College) Automorphism groups of saturated models of PA Abstract. In this talk we survey recent results of Nurkhaidarov and Schmerl concerning the automorphism groups or saturated models of PA. continue reading…

This Week in Logic at CUNY

This Week in Logic at CUNY: Model Theory Seminar Friday, February 24, 2012 12:30 pm GC 6417 Professor Jouko Väänänen (University of Helsinki) On second order model-theory I Abstract. This mini course will cover the following topics: second order characterizable structures, Henkin models, Completeness Theorem, internal categoricity, and existence of second order equivalent non-isomorphic models. continue reading…