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 2, 2019 — 10:00 AM EDT

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

"Degrees of Categoricity, the Isomorphism Problem, and the Turing Ordinal"

We are going to talk about some notions of complexity in computable structure theory. We will talk about degrees of categoricity, the isomorphism problem and the Turing Ordinal. For degrees of categoricity, first we will focus on computable tree structures, then we will talk about degrees that are c.e. in and above $\mathbf{0}^{(\alpha)}$, for $\alpha$ a limit ordinal. From our work on degrees of categoricity of computable trees we will be able to conclude some results about the isomorphism problem for classes of computable trees. Finally, we will talk about the Turing ordinal. We observed that the definition of the Turing ordinal has two parts each of which alone can define a specific ordinal which we now call the upper and lower Turing ordinals. The Turing ordinal exists if and only if these two ordinals exist and are equal. We will discuss the possibilities of having the two ordinals existent but different.

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)