You are here

Computability Learning SeminarExport this event to calendar

Tuesday, May 23, 2017 — 11:00 AM EDT

Michael Deveau, Department of Pure Mathematics, University of Waterloo

“Computable Functors and Effective Interpretability”

We introduce the notion of a computable functor and the definition of effective inter- pretability. The former is a computable analogue of a category-theoretic functor between ω-presentations of structures, and the latter is an effective version of model-theoretic inter- pretability. We show that effective interpretations induce computable functors, and briefly mention the converse.

MC 5403

S M T W T F S
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
  1. 2017 (176)
    1. June (26)
    2. May (27)
    3. April (14)
    4. March (38)
    5. February (42)
    6. January (29)
  2. 2016 (335)
    1. December (8)
    2. November (41)
    3. October (35)
    4. September (29)
    5. August (8)
    6. July (17)
    7. June (30)
    8. May (15)
    9. April (12)
    10. March (56)
    11. February (42)
    12. January (42)
  3. 2015 (209)
  4. 2014 (235)
  5. 2013 (251)
  6. 2012 (135)