Łukasz Mazurkiewicz: Analytic families of trees

Tuesday, January 23, 2024 17:00

Location: room 601, Mathematical Institute, University of Wroclaw

Speaker:
Łukasz Mazurkiewicz

Title: Analytic families of trees

Abstract: Every tree can be seen as a point in a space \(P(2^<\omega)\) or \(P(\omega^<\omega)\). Therefore, families of trees are subsets of these "incarnations" of Cantor space and, as such, can be analyzed from the perspective of descriptive complexity. In this talk I would like to explore some classical families of trees with some focus put on the ones, which are analytic complete.