Generalizing one-basedness: the Canonical Base Property
5
The first counterexample
6
Essential features of the counterexample
7
What about other counterexamples?
8
How to not interpret a field: CM-triviality
9
Finite dimensional Lie algebras
10
Delta function and the class
11
Amalgamation and Collapse
12
Proof Sketch 1: Derivations and automorphisms
13
Proof Sketch 2: Constructing Derivations
14
Further Questions
Description:
Explore a 27-minute lecture from the Workshop on Trends in Pure and Applied Model Theory, presented by Léo Jimenez at the Fields Institute. Delve into the concepts of the canonical base property and CM-triviality, starting with an introduction and setup. Examine internality and the generalization of one-basedness through the Canonical Base Property. Investigate the first counterexample and its essential features, considering the possibility of other counterexamples. Learn about CM-triviality as a method to avoid interpreting a field, and study finite dimensional Lie algebras. Analyze the delta function and its class, along with amalgamation and collapse. Follow two proof sketches: one on derivations and automorphisms, and another on constructing derivations. Conclude with a discussion of further questions in this area of model theory.