Search results

Badaev S.A. [2006] On Rogers semilattices Lect. Notes in Comp. Sci., 3959, 704-706, Springer -Verlag ? article Вернуться к поиску

Badaev S.A.,Spreen D. [2005] A note on partial numberings Math. Logic Quarterly, 51, № 2, 129-136 ? article Вернуться к поиску

Badaev S.A. [1992] On minimal enumerations Sibirian Adv. Math., 2, № 1, 1-30 ? article Вернуться к поиску

Badaev S.A., Goncharov S.S. [2000] Theory of numberings: open problems Contemporary Math., 257, 23-38 ? article Вернуться к поиску

Badaev S.A., Lempp S. [2009] A decomposition of the Rogers semilattice of a family of d.c.e. sets J. Symbolic Logic,74, № 2, 618-640 ? article Вернуться к поиску

Badaev S.A., Goncharov S.S. [2008] Computability and numberings In “New computational paradigms. Changing conceptions what is computation”, 19-34, Springer ? article Вернуться к поиску

Badaev S.A., Goncharov S.S. [1994] Classes with pairwise equivalent enumerations Lect. Notes in Comput. Sci., 813, 140-141, Springer -Verlag ? article Вернуться к поиску

Badaev S.A., Goncharov S.S. [1995] On computable minimal enumerations Proc. 3 Inter. Conf. on Algebra, (Krasnoyarsk, 1993) , Walter de Gruyter, 21-32 ? article Вернуться к поиску

Ambos-Spies K.,Badaev S.A., Goncharov S.S. [2008] Inductive inference and computable numberings Mathematical Structures in Computer Science, Cambridge Press, to appear article Вернуться к поиску

Ambos-Spies K., Badaev S.A., Goncharov S.S. [2008] On a question of Frank Stephan Lect. Notes in Comp.Sci, 4978, 423-432, Springer -Verlag ? article Вернуться к поиску

Badaev S.A., Talasbaeva Z.T. [2006] Computable numberings in the hierarchy of Ershov Proc. 9 Asian Logic Conf., (Singapore, 2006), 17-30, World Scientific, Singapore Univ. Press ? article Вернуться к поиску

Badaev S.A., Goncharov S.S., Sorbi A. [2003] Completeness and universality of arithmetical numberings Computability and models: perspectives East and West Kluwer Academic/Plenum Publishers, 11-44. ? article Вернуться к поиску

Badaev S.A., Goncharov S.S., Sorbi A. [2005] On elementary theories and isomorphism types of Rogers semilattices Theory of models, Almaty, Kazachstan, ECO Studio, 277-301 09.12.127 article Вернуться к поиску

Badaev S.A., Goncharov S.S., Sorbi A. [2003] Elementary properties of Rogers semilattices of arithmetical numberings Proc. 7-8 Asian Logic Conf., (Singapore, 2002), 1-10, World Scientific, Singapore Univ. Press ? article Вернуться к поиску

Badaev S.A., Goncharov S.S., Sorbi A. [2003] Isomorhism types and theories of Rogers semilattices of arithmetical numberings Computability and models: perspectives East and West Kluwer Academic/Plenum Publishers, 79-91 ? article Вернуться к поиску

Badaev S.A., Goncharov S.S. Podzorov S.Yu. Sorbi A. [2003] Algebraic properties of Rogers semilattices of arithmetical numberings Computability and models: perspectives East and West Kluwer Academic/Plenum Publishers, 45-77 ? article Вернуться к поиску

B Badaev S. Bailey C.G. Baker T.P. Baleva V. Baratella S. Barback J. Barendregt H. Barmpalias G. Barwise J. Basu S. Baterman P.T. Baurle F.A. Batyrshin I.I. Becker H. Behman H. Beigel R.J. Belyaev V. N. Bennison V.L. Bentzien L. Bereznyuk S. Bergstra J. A. BermanL ...