Chris Laskowski: Classifying first order theories by Borel reducibility: Status Report External Video-URL https://www.youtube.com/watch?v=H129O2jL-cs Preview-Image Search Engine Exclude no
