Invitation to the Logic Seminar at the National University of Singapore

Date: Wednesday, 3 February 2016, 17:00 hrs

Room: S17#05-11, Department of Mathematics, NUS

Speaker: Alexander Melnikov

Title: Constructive Abelian Groups

URL: http://www.comp.nus.edu.sg/~fstephan/logicseminar.html

Abstract:

First, we will briefly discuss the history of the old subject of computable

(constructive) Abelian groups, and how it fits into the modern computable

structure theory. Then we will discuss why a question of Goncharov on

Delta_n-categorical groups is central to the theory of computable Abelian

groups (terminology to be clarified), and what the question really asks.

Finally, we will briefly outline the key steps of my recent technical proof

showing such groups exist, at the level of an informal idea. (No solid

background in group theory is assumed.)