Alexander Melnikov: Constructive Abelian Groups

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


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.)

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.