The course meets Monday, Wednesday and Friday from 11-12 in 316 Taft Hall. Office hours 10-11 MWF 417 SEO

This a very tentative outline of the course. Actual content will be adjusted to maximize impact of the visitors.

Week 1:1/13

Ehrenfreuht game survey

Week 2: 1/20

Describing finite models. Finite versus infinite model theory

Week 3:1/27

Trachtenbrot's theorem; further limitations

Week 4:2/3

Descriptive Complexity; NP = Sigma-1-1.

Week 5:2/10/97

Fixed point logics; FP=ptime

Week 6:2/17/97

k-variable logics

Week 7:2/24/97

0-1 laws: p = 1/2, variable p

Week 8:3/3/97

generic structure, quantifier elimination
Back Home