Computability Learning SeminarExport this event to calendar

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

Michael Deveau, Department of Pure Mathematics, University of Waterloo

"Non-triviality of the Bounded Jump Hierarchy - Part 2"

We continue with the proof thatĀ for all $B$, there is some set $A$ with $B <_{bT} A <_{bT} B^b$. We start the main construction itself, check that the requirements eventually settle and are met, and we investigate the correct $\hat{h}_A$ and $\hat{h}_C$ as promised.

MC 5413

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