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

Michael Deveau, Department of Pure Mathematics, University of Waterloo

“Pseudo-Jump Inversion - Part II”

We continue the proof we started last week of the Pseudo-Jump Inversion Theorem. We verify that the construction presented does indeed produce a set satisfying the conditions of the theorem, and also show that the construction is well-defined. Finally, we use this result to construct high c.e. sets with certain properties, which was our motivating reason for introducing the theorem.

M3-4206

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