Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy |
| |
Authors: | S A Badaev S S Goncharov A Sorbi |
| |
Institution: | (1) Kazakh National University, Alma-Ata, Kazakhstan;(2) Institute of Mathematics, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia;(3) Dipartimento di Scienze Matematiche ed Informatiche “Roberto Magari”, Siena, Italy |
| |
Abstract: | We investigate differences in isomorphism types for Rogers semilattices of computable numberings of families of sets lying
in different levels of the arithmetical hierarchy.
Supported by RFBR grant No. 05-01-00819 and by INTAS grant No. 00-499.
Supported by NSFC grant No. 60310213.
__________
Translated from Algebra i Logika, Vol. 45, No. 6, pp. 637–654, November–December, 2006. |
| |
Keywords: | arithmetical hierarchy computable numbering Rogers semilattice |
本文献已被 SpringerLink 等数据库收录! |
|