Computability learning seminarExport this event to calendar

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

Sam Eisenstat, Department of Pure Mathematics, University of Waterloo

“Background for Computable Abelian Group Theory (continued)”

We finish our discussion of definitions in computable model theory, looking at the complexity of presentations of structures and isomorphisms between structures. We also prove a theorem of Mal’cev that we stated last time, which shows that computable structures can be isomorphic without being computably isomorphic.

and, time permitting...

Michael Deveau

“Properties of Computable Abelian Groups”

Abstract: In this talk, we extend the previously given definitions of computable and c.e. presentations to other members of the arithmetical hierarchy. We also discuss a proof of Smith on computable embeddings of a group into its divisible hull. Time permitting, we remark briefly on computability of torsion abelian groups and begin a discussion of computable and c.e. torsion-free abelian groups.

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)