2014 seminar talk: Computably enumerable equivalence relations

Talk held by Serikzhan Badaev (Al-Farabi Kazakh National University, Kazakhstan) at the KGRC seminar on 2014-12-04.


I am going to remind (introduce) some classes of computably enumerable relations that are related to the idea of fixed point such as precomplete, weakly precomplete, uniformly finitely precomplete. These relations are considered with respect to m-reducibility. Some new joint results with Andrea Sorbi on interrelations of the mentioned above classes will be presented.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.