Computability learning seminarExport this event to calendar

Tuesday, November 18, 2014 — 3:30 PM EST

Sam Eisenstat, Department of Pure Mathematics, University of Waterloo

“Computable Model Theory of Torsion-Free Abelian Groups”

Countable torsion-free abelian groups are very complicated objects in general. We focus on groups that are direct sums of subgroups of Q and investigate their computability-theoretic properties. We look at degree spectra, categoricity, complexity of presentations, and complexity of the index and isomorphism problems. Σ7 shows up!

But first, we let Mohammad finish his lemma from last time.

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

Waterloo, ON N2L 3G1
Canada

S M T W T F S
27
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. 2019 (184)
    1. December (1)
    2. November (17)
    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)