Explore advanced concepts in applied model theory with Silvain Rideau-Kikuchi from CNRS, Université de Paris in this lecture from the Fields Institute. Delve into introdefinable sets, residual extensions, and the principles of disjunction and contradiction. Examine the "Swiss Cheese" theorem and its interesting cases, and gain insights into stability embedded in model theory. This in-depth lecture is part of a series on applied model theory, offering a comprehensive look at cutting-edge research in the field.
Overview
Syllabus
Intro
definable sets
Residual extensions
Disjunction
contradiction
better version
Swiss Cheese
Interesting Cases
Stability Embedded
Taught by
Fields Institute