Computability Theory Learning SeminarExport this event to calendar

Thursday, January 19, 2023 — 2:30 PM EST

Joey Lakerdas-Gayle, Department of Pure Mathematics, University of Waterloo

"Effectively closed sets -- Part II"

An effectively closed set (or $\Pi^0_1$ class) in Baire space $\omega^\omega$ is the set $[T]$ of infinite branches through a computable tree $T$. This week, we will discuss different notions of boundedness in $\Pi^0_1$ classes, the computability properties of the tree $T_P$ of initial segments of a $\Pi^0_1$ class $P$, and the computability properties of members of $\Pi^0_1$ classes. Time permitting, we will begin discussing some applications of effectively closed sets.

MC 5403

Event tags 

S M T W T F S
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
  1. 2023 (169)
    1. June (2)
    2. May (35)
    3. April (21)
    4. March (51)
    5. February (33)
    6. January (27)
  2. 2022 (179)
    1. December (8)
    2. November (31)
    3. October (24)
    4. September (17)
    5. August (9)
    6. July (15)
    7. June (14)
    8. May (13)
    9. April (14)
    10. March (15)
    11. February (12)
    12. January (7)
  3. 2021 (135)
  4. 2020 (103)
  5. 2019 (199)
  6. 2018 (212)
  7. 2017 (281)
  8. 2016 (335)
  9. 2015 (211)
  10. 2014 (235)
  11. 2013 (251)
  12. 2012 (135)