López-Escobar's theorem
Boise Set Theory Seminar, Boise, April 2016<
Abstract: We present a now classical theorem of López-Escobar which connects descriptive set theory and countable model theory. We then briefly introduce the theory of metric structures, and give a generalization of the theorem to this context. This is joint work with Martino Lupini.