language, signature
theory, first-order theory
model
interpretation
structure in model theory
elementary embedding
type in model theory
compactness theorem
diagram of a first-order structure
definable set
(combinatorial) pregeometry
ultraproduct, ultraroot, ultrapower
indiscernible sequence?
Morleyization
Morley sequence?
Ramsey theorem?
Erdos-Rado theorem?
Ehrenfeucht-Fraïssé games (back-and-for…
Reed Solomon This talk will be an introduction to the ultraproduct construction and the model theoretic notion of saturation, which are two of the themes in Maryanthe Malliaris’s Annual Logic Lecture next week. My goal is to introduce these concepts with some examples and motivation to give anyone interested some familiarity with the key characters […]
