Fields Institute, Room 210
Friday 03 October 2014 13:30- 15:00
Speaker: Ilijas Farah.
Title: Omitting types in logic of metric structures is hard
Abstract: One of the important tools for building models with prescribed second-order properties is the omitting types theorem. In logic of metric structures omitting types is much harder than in classical first-order logic (it is Pi-1-1 hard). Although the motivation for this work comes from C*-algebras, the talk will mostly be on descriptive set theory. The intended takeaway from the talk is “logic of metric structures blends with descriptive set theory beautifully.” This is joint work with Menachem Magidor.