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

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
1
2
3
4
5
  1. 2020 (94)
    1. December (1)
    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)
  2. 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)
  3. 2018 (212)
  4. 2017 (281)
  5. 2016 (335)
  6. 2015 (211)
  7. 2014 (235)
  8. 2013 (251)
  9. 2012 (135)