University COVID-19 update

The University of Waterloo is constantly updating our most Frequently Asked Questions.

Questions about buildings and services? Visit the list of Modified Services.

Please note: The University of Waterloo is closed for all events until further notice.

Computability Learning SeminarExport this event to calendar

Thursday, May 23, 2019 — 10:00 AM EDT

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

"Degrees of Categoricity of Trees"

We show that, for any computable ordinal $\alpha$, there exists a computable tree of rank $\alpha+1$ with strong degree of categoricity ${\bf 0}^{(2\alpha)}$ if $\alpha$ is finite, and with strong degree of categoricity ${\bf 0}^{(2\alpha+1)}$ if $\alpha$ is infinite.  For a computable limit ordinal $\alpha$, we show that there is a computable tree of rank $\alpha$ with strong degree of categoricity  ${\bf 0}^{(\alpha)}$ (which equals ${\bf 0}^{(2\alpha)}$). These ranks are the smallest possible for realizing the corresponding degrees as degrees of categoricity.

MC 5479

S M T W T F S
27
28
29
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. 2020 (81)
    1. November (1)
    2. October (3)
    3. September (3)
    4. August (1)
    5. July (5)
    6. June (1)
    7. May (3)
    8. March (16)
    9. February (26)
    10. January (22)
  2. 2019 (199)
    1. December (7)
    2. November (26)
    3. October (19)
    4. September (13)
    5. August (7)
    6. July (12)
    7. June (18)
    8. May (22)
    9. April (11)
    10. March (25)
    11. February (17)
    12. January (22)
  3. 2018 (212)
  4. 2017 (281)
  5. 2016 (335)
  6. 2015 (211)
  7. 2014 (235)
  8. 2013 (251)
  9. 2012 (135)