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

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.

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

w

Connecting to %s