Computability Theory Learning SeminarExport this event to calendar

Monday, July 18, 2022 — 12:30 PM EDT

Szymon Adamus, Department of Pure Mathematics, University of Waterloo

"Punctual Computability Theory - Part 2"

Punctual computability theory is a relatively new branch of computability theory that deals with punctual structures, a class of structures intermediate between polynomial-time and computable structures. In part 2 of this series of talks I will continue exploring the topic of universality with regards to punctual structures, this time proving that the class of relational structures is not punctually universal. I will also give a brief outline of the proofs of some of the results I stated last week when proving graphs are not punctually universal. 

MC 5403

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