Recent and upcoming talks by Karel Hrbacek

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

Computational Logic Seminar Tuesday, October 22, 2013 2:00 pm Graduate Center, rm, 3209 Speaker: Melvin Fitting Lehman College – CUNY Graduate Center Title: Justification Logic Semantics: A Little New, but Mostly Old Link: http://nylogic.org/talks/justification-logic-semantics-a-little-new-but-mostly-old Possible world semantics was introduced for justification logic in 2005. continue reading…