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.

Logic SeminarExport this event to calendar

Wednesday, June 12, 2019 — 3:00 PM EDT

Valentina Harizanov, George Washington University

"Arithmetically categorical structures"

 We investigate categoricity of countable structures from the computability-theoretic point of view. A computable structure is computably categorical if for every computable isomorphic structure there is a computable isomorphism. A computable structure A is relatively computably categorical if for every isomorphic B, there is an isomorphism computable relative to the atomic diagram of B or, equivalently, A has a computably enumerable Scott family of existential formulas. Computable categoricity and relative computable categoricity often but not always coincide for structures from natural classes. We similarly define categoricity and relative categoricity corresponding to higher levels in arithmetical hierarchy, and look for their characterizations for structures from natural classes.

MC 5501

S M T W T F S
25
26
27
28
29
30
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. 2021 (34)
    1. April (4)
    2. March (11)
    3. February (9)
    4. 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)