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.
Formal Philosophy 