2025/2026

Introduction to Model Theory

Type: Optional course (faculty)

Delivered by: Faculty of Mathematics

When: 1, 2 module

Open to: students of all HSE University campuses

Instructors: Valentin B. Shehtman

Language: English

Contact hours: 30

Course Syllabus

Abstract

Model theory is a fast evolving area between mathematical logic, algebra and other disciplines: recursion theory, set theory, category theory, game theory et al. It studies connections between mathematical structures and their formal theories. Model-theoretic methods are applied to various problems - from abstract set theory and algebraic geometry to database theory and machine learning. The intention of the course is introduction to main model-theoretic notions and methods.