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
25
26
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
2
3
4
5
  1. 2022 (123)
    1. October (7)
    2. September (17)
    3. August (9)
    4. July (15)
    5. June (14)
    6. May (13)
    7. April (14)
    8. March (15)
    9. February (12)
    10. January (7)
  2. 2021 (135)
    1. December (11)
    2. November (22)
    3. October (15)
    4. September (5)
    5. August (15)
    6. July (17)
    7. June (15)
    8. May (1)
    9. April (4)
    10. March (11)
    11. February (9)
    12. January (10)
  3. 2020 (103)
  4. 2019 (199)
  5. 2018 (212)
  6. 2017 (281)
  7. 2016 (335)
  8. 2015 (211)
  9. 2014 (235)
  10. 2013 (251)
  11. 2012 (135)