Invitation to the Logic Seminar at the National University of Singapore

Date: Wednesday, 23 October 2013, 17:00 hrs

Room: S17#04-06, Department of Mathematics, NUS

Speaker: Ng Keng Meng, Nanyang Technological University

Title:. Equivalence relations, categoricity and groups.

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

Abstract:

Recently effective equivalence relations have been studied by various

authors. Different aspects of equivalence relations have been

investigated, such as the issue of completeness, reducibility and

degree structures. This talk will consider the effective categoricity

of equivalence relations and give an application to effective abelian

group theory. This talk will be an expanded version of the talk I gave

at the Asian Logic Conference.