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, October 21, 2014 — 3:30 PM EDT

Mohammad Mahmoud, Pure Mathematics, University of Waterloo

"Torsion-free groups: linear independence and computable categoricity"

We continue through Melnikov's survey paper on Computable  
Abelian Groups. We use the effective analysis of linear independence
(discussed before by Sam) to characterize computable categoricity. We
go through the proof that "Every computable torsion-free
abelian group of infinite rank has a presentation (computable) in
which linear independence is undecidable". It follows as a corollary
from this and an earlier proposition that "A computable torsion-free
abelian group is computably categorical iff its rank is finite".

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
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. 2021 (67)
    1. July (17)
    2. June (15)
    3. May (1)
    4. April (4)
    5. March (11)
    6. February (9)
    7. 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)