generalized quantifiers II
, spring 2005
This page exists in
Time and location: Tuesday 14-16 B322 Spring term 2005. First class is on 18.1.2005.
Exercise class every second Tuesday 16-18 B321. First exercise class is on 25.1.2005.
This course counts as 3 study credits (opintoviikko).
Applications of Ehrenfeucht-Fraïssé games and back-and-forth sets for generalized quantifiers,
Applications of the model existence game to the completeness theorem for generalized quantifiers,
Applications of the method of identities to the compactness problem for generalized quantifiers.
The course uses
course management system.
Prerequisites: Logic I (57274-1) or mathematical logic (57067-7).
A survey of generalized quantifiers on finite models
A survey of generalized quantifiers on infinite models
Generalized quantifiers in PlanetMath
Registration (see also form below):
: Introduction to generalized quantifiers. "Name". "WebCT username".
Registration form for the course
Introduction to generalized quantifiers II.
you can create a WebCT username.