Model theory

The link between formal theories and their interpretations

Also known as: Model Theory and Algebraic Systems, Mathematical Model Theory

2 lecture recordings, about 12 hours

Lecture recordings

ВШЭ — Introduction to Model Theory. V.B.Shehtman. Fall 2025, 14 lectures
Прочие каналы — CEB - 2018 - T1 - Model Theory, Combinatorics and Valued fields, 60 lectures
Taylor Dupuy — Model Theory, 10 lectures

What you need first

Field of knowledge

Logic

The map of knowledge