Ernest Schimmerling
Mid-Atlantic Mathematical Logic Seminar
Alain Louveau (Paris 6)
Complete analytic equivalence relations
In this talk, I will present a joint work with Christian Rosendal, which
provides some natural examples of classification problems, both in Model
theory and in Analysis, which happen to have maximum complexity : they
correspond to complete (i.e maximum in the Borel reducibility order)
analytic equivalence relations.
The talk will mainly concentrate on the techniques used to establish such
completeness results.