Computability learning seminarExport this event to calendar

Tuesday, September 16, 2014 — 3:30 PM EDT

Sam Eisenstat, Department of Pure Mathematics, University of Waterloo

“Background for Computable Abelian Group Theory”

The class of abelian groups is somewhat well-behaved from the perspective of computability theory, since the theory of abelian groups is decidable. This implies, for example, that the word problem for finitely generated abelian groups is decidable. In this seminar, we survey basic definitions and theorems in abelian group theory and computable model theory, in order to state the main problems in computable abelian group theory. We define what it means for an abelian group to have a computable or computably enumerable presentation, and raise questions about the structure of such groups. We also discuss questions about the algorithmic complexity of isomorphisms between computable abelian groups and the complexity of the problem of whether an isomorphism exists.

Location 
MC - Mathematics & Computer Building
5046
200 University Avenue West

Waterloo, ON N2L 3G1
Canada

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. 2019 (199)
    1. December (7)
    2. November (26)
    3. October (19)
    4. September (13)
    5. August (7)
    6. July (12)
    7. June (18)
    8. May (22)
    9. April (11)
    10. March (25)
    11. February (17)
    12. 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)