Väänänen: On second-order model theory I

by Yang Liu

On second-order model theory I
Friday, February 24, 2012 12:30 pm CUNY GC 6417 80 min

Professor Jouko Väänänen
University of Helsinki and University of Amsterdam
jouko.vaananen@helsinki.fi

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.