Èíôîðìàöèîííàÿ ñèñòåìà "Êîíôåðåíöèè"



The 9th Asian Logic Conference

16-19 August, 2005
Novosibirsk, Russia

Abstracts


Computability theory

Computability in the Ershov Hierarchy

Badaev S.A., Talasbaeva Zh.T.

Kazakh National University (Almaty)

The talk is aimed to show the new results of the authors on Rogers semilattices for the families of sets in Ershov's hierarchy and to discuss similarities and differences of the algebraic and elementary properties of these semilattices in contrary with the semilattices of computable numberings of the families of the arithmetical sets.


Mail to Webmaster
alc9@math.nsc.ru
|Home Page| |English Part| [SBRAS]
Go to Home
© 1996-2000, Siberian Branch of Russian Academy of Sciences, Novosibirsk
    Last update: 06-Jul-2012 (11:44:52)