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, July 23, 2015 — 2:00 PM EDT

Mohammad Mahmoud, Pure Mathematics, University of Waterloo

"A Class of Structures without a Turing Ordinal"

We continue to show that the class Kw has no Turing Ordinal. We construct a set D which is not enumeration reducible to R_\A for any structure \A in Kw. This will imply directly that if the Turing ordinal exists then it must be strictly greater than 0. On the other hand Joe Miller showed that, for our class, if the Turing Ordinal exists it must be 0. Both statements tell us that the Turing Ordinal can't exist.

Location 
M3 4206


,
Canada

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 (82)
    1. November (1)
    2. October (4)
    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)