Generalised Descriptive Set Theory, part III

28.03.2023 15:00 - 16:30

M. Moreno (U Wien)

Following part I and part II in this three part series, during this talk we will discuss where in the generalized Borel-reducibility hierarchy are the isomorphism relation of first order complete theories. These theories are divided into two kinds: classifiable and non-classifiable. To study the classifiable theories case is needed the use of Ehrenfeucht-Fraïssé games. On the other hand the study of the non-classifiable theories is done by using colored ordered trees. The goal of the talk is to see the classifiable theories case and sketch the ideas of non-classifiable theories.




SR 10, 1. Stock, Koling. 14-16, 1090 Wien