2025/2026

Introduction to Model Theory

Category 'Best Course for Career Development'

Category 'Best Course for Broadening Horizons and Diversity of Knowledge and Skills'

Category 'Best Course for New Knowledge and Skills'

Type: Optional course (faculty)

Delivered by: Faculty of Mathematics

Where: Faculty of Mathematics

When: 1, 2 module

Open to: students of all HSE University campuses

Instructors: Valentin B. Shehtman

Language: English

ECTS credits: 3

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.