Search results

Goncharov S.S. [1998] Autostabe models and algorithmic dimension Handbook of Recursive Mathematics, v.1, 261-287, Elsevier ? article Вернуться к поиску

Goncharov S.S. [1994] A unique positive enumeration,. Sibirian Adv.in Math., 4, № 1, 52-64 ? article Вернуться к поиску

Goncharov S.S. [1998] Decidable Boolean algebras of low level Ann. Pure Appl. Logic, 94, № 1-3, 75-95 ? article Вернуться к поиску

Ash C.J., Goncharov S.S. [1985] Strong Δ 2 0 categoricity Algebra and Logic, 24, № 6, 718-727 86.08.75 SG article Вернуться к поиску

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

Goncharov S.S. [2006] Computable models, mathematical problem from applied logic, II Logics for the XXIst century, 99-216, Springer-Verlag ? article Вернуться к поиску

Goncharov S.S., Ershov Yu. L. [1998] Elementary theories and their constructive models Handbook of Recursive Mathematics, v.1, 115-165, Elsevier ? 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 Вернуться к поиску

Goncharov S.S., Khoussainov B. M. [2000] Open problems in the theory constructive algebraic systems Contemporary Math., 257, 145-170. 02.12.291 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 Вернуться к поиску

Goncharov S.S., Harizanov V.S., Knight J.F., Shore R.A. [2004] Π 1 1 relations and paths through 0 J. Symbolic Logic, 69, № 2, 585-611 05.09.95 article Вернуться к поиску

Cooper S.B., Goncharov S.S.(eds) [2003] Computability and Logic Computability and models: perspectives East and West Kluwer Academic/Plenum Publishers ? book Вернуться к поиску

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 Вернуться к поиску

Goncharov S.S., Yaknis A., Yaknis V. [1993] Some effectively infinite classes of enumerations Ann. Pure Appl. Logic, 60, № 3, 207-235 94.08.89 article Вернуться к поиску

Cholak P., Goncharov S.S., Khoussainov B. M., Shore R. A. [1999] Computable categorical structures and expansions by constants J. Symbolic Logic, 64, № 1, 13-37 01.05.98 article Вернуться к поиску

Ershov Yu. L., Goncharov S.S. [2000] Constructive Models Kluwer Academic/Plenum, NY (Перевод книги Гончаров С.С., Ершов Ю.Л. «Конструктивные модели”, 1999.) ? book Вернуться к поиску

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 Вернуться к поиску

Goncharov S.S., Harizanov V.S., Knight J.F., McCoy Ch.F.D., Millar R.C., Solomon R. [2005] Enumerations in computable structure theory Ann. Pure Appl. Logic, 136, № 3, 219-246 ? article Вернуться к поиску

Ershov Yu. L. Goncharov S.S. ( et. al. eds) [1998] Handbook of Recursive Mathematics, v.1, 2 Studies Logic and Found. Math., 138, 139, North-Holland, Elsevier ? G book Вернуться к поиску

Goncharov S.S., Harizanov V.S., Knight J.F., McCoy Ch.F.D., [2003] Simple and immune relations on coutable structures Arch. Math. Logik Grundl., 42, № 3, 279-291 85.05.109 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 Вернуться к поиску

Calvert W. ,Fokina E.B.,Goncharov S. S., Knight J.,Kudinov O.V.,Morozov A.S.,Puzarenko V.G. [2007] Index sets for classes of high rank structures J. Symbolic Logic, 72, № 4, 1418-1432 ? 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 Вернуться к поиску

G GaleA GaleD Gandy R.O. Ganesan K. Gao Su Gasarch W.I. Georgieva N. Gerla G. Gill J. Giorgi M.B. Giusto M. Gladstone M.D. Glasser C. Gödel K. Goetze B. GoldEM Goldfarb W.D. Goncharov S.S. Gonshor H. Gordon C. E. Grant P.W. Grassin J. Greenberg N. Griffiths E.J. J. Griffor E.R. Grilliot T. Groszek M. J. Grzegorczyk A. Guichard D. Gurevich Ju. Вернуться на главную страницу

... numberings" (Russian version). O – Odifreddi P. "Classical Recursive Theory, The theory of functions and sets of natural numbers, v. I, II". S – Soare R.I. "Recursively enumerable sets and degrees" (Russian version). G – Goncharov S.S., Ershov Ju. L. "Constructive Models" (Russian version). 7. Type of the paper: either book or article. For example: Abraham U., Shore R.A. [1986] Initial segments of the Turing degrees Israel. J. Math., 53, № 1, 1-51 86.12.68 REOSG article/book ...