1
Basic Definitions and Lemmas
▶
1.1
Vectors
1.2
Theories
2
Model Theory and The Rest of Mathlib
▶
2.1
Instances
2.2
Homomorphisms
3
Main Result
Dependency graph
Formal Textbook of Model Theory
Metin Ersin Arıcan
1
Basic Definitions and Lemmas
1.1
Vectors
1.2
Theories
2
Model Theory and The Rest of Mathlib
2.1
Instances
2.2
Homomorphisms
3
Main Result