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.
Generalised Descriptive Set Theory, part III
28.03.2023 15:00 - 16:30
Organiser:
KGRC
Location: