Instructors: Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich
Event type:
Lecture & Exercise
Org-unit: Dept. 04 - Mathematics
Displayed in timetable as:
04-00-0230-vu
Subject:
Crediting for:
Hours per week:
3
Language of instruction:
Englisch
Min. | Max. participants:
- | 25
Course Contents:
finite versus classical model theory, failure of classical techniques and results;
model theoretic games and the Ehrenfeucht-Fraisse method, definability and
locality; zero-one laws (Fagin’s Theorem); descriptive complexity
|