Introduction to continuous logic and model theory for metric structures
Boise Set Theory Seminar, Boise, March 2019
Abstract: We give an introduction to continuous logic and model theory for metric structures. The talk should be accessible to anyone with minimum background in logic.