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

Wednesday, April 3, 2019 — 3:30 PM EDT

Michael Deveau, Department of Pure Mathematics, University of Waterloo

“Non-triviality of the Bounded Jump Hierarchy - Part 1”

Now that we have characterized when AbT Bnb,we can use this to show that the bounded jump hierarchy is not trivial at any level, relative to any B. That is, we will show that for all B, there is some set A with B <bT A <bT Bb. We begin by setting up the basic modules for the proof.

MC 5413

S M T W T F S
26
27
28
29
30
31
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
4
5
  1. 2020 (74)
    1. August (1)
    2. July (5)
    3. June (1)
    4. May (3)
    5. March (16)
    6. February (26)
    7. 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 (219)
  4. 2017 (281)
  5. 2016 (335)
  6. 2015 (211)
  7. 2014 (235)
  8. 2013 (251)
  9. 2012 (135)