Библиография Лаврова И.А.

Ershov Yu. L. [1998] Σ-definability of algebraic structure Handbook of Recursive Mathematics, v.1, Elsevier,235-260 ? article Вернуться к поиску

Ershov Yu. L. [1999] Theory of numberings Handbook of Computability Theory, Elsevier, 473-503 ? article Вернуться к поиску

Ershov Yu. L. [1977] Constructions "by Finite" Logic, Found. of Math. Comp. Dordrecht-Nolland, 1970, 3-9 ? article Вернуться к поиску

Ershov Yu.L. [1997] The bounded-complete hull of an d -space Theor.Comput.Sci., 175, № 1, 3-13 ? article Вернуться к поиску

Ershov Yu.L. [1999] On d -spaces Theor.Comput.Sci., 224, № 1-2, 59-72 ? article Вернуться к поиску

Ershov Yu. L. [1977] The model G of the partial continuous functionals Logic Coll’76, North-Holland, 455-467 ? E article Вернуться к поиску

Ershov Yu.L. [1971] La theorie des enumerations Actes Congress Inter. Math., (Nice, 1970), v.1, Paris, Gauthier-Villars, 223-227 ? article Вернуться к поиску

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

Ershov Yu. L. [1968] Numbered fields Proc. III Inter. Congress Logic, Methodology, Philosophy Sci., (Amsterdam, 1967), North- Holland, 31-34 ? G article Вернуться к поиску

Ershov Yu.L. [1999] On injective hull and bc-hull of a topological space Novi Sad Journal Math., 29, № 3, 201-206 02.08.308 article Вернуться к поиску

Ershov Yu. L. [1981] Abstract computability on algebraic structures Lect.Notes in Comp. Sci., 122, 397-420, Springer -Verlag 82.07.49 article Вернуться к поиску

Ershov Yu. L. [1976] Construction “by finite” Proc. V Inter. Congress Logic, Methodology, Philosophy Sci., I, (London, Ontario, Canada,1975), D.Reidel Publ. Comp., 1-7 ? E article Вернуться к поиску

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

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

Ershov Yu. L. [1981] How does algebra help to solve problems from the theory of algorithms (an example) Lect. Notes in Comp. Sci., 122, 462-463, Springer -Verlag 82.06.56 article Вернуться к поиску

E Ebbinghaus H.D. Ehrenfeucht A. Eilenberg S. Eisenberg E.F. Elgot C.C. Ellentuck E. EndertonG EndertonHB Englert B. Epstein R.L. Ershov Yu. L. Eršov Yu.L. Вернуться на главную страницу

Yang Yue, Yu Liang [2006] On Σ 1 -structural differences among finite levels of the Ershov hierarchy J. Symbolic Logic, 71, № 4, 1223-1236 ? article Вернуться к поиску

Knight J.F. [2002] Categoricity Proc. Inter. Conf. “Logic and Its Apll.”, devoted to Yu. Ershov and A.I. Mal’cev, (Novosibirsk, 2002), Novosibirsk, NSU, 72-80 05.11.123 article Вернуться к поиску

Selivanov V.L. [2002] Precomplete numberings Proc. Inter. Conf. “Logic and Its Apll.”, devoted to Yu. Ershov and A.I. Mal’cev, (Novosibirsk, 2002), Novosibirsk, NSU, 104-143 05.11.17 статья Вернуться к поиску

Weihrauch K. [2002] Computable analysis Proc. Inter. Conf. “Logic and Its Apll.”, devoted to Yu. Ershov and A.I. Mal’cev, (Novosibirsk, 2002), Novosibirsk, NSU, 165-178 05.11.114 article Вернуться к поиску

Sorbi A. [2002] Embeddings into the enumeration degrees Proc. Inter. Conf. “Logic and Its Apll.”, devoted to Yu. Ershov and A.I. Mal’cev, (Novosibirsk, 2002), Novosibirsk, NSU, 144-164 05.11.116 article Вернуться к поиску

Cooper S.B. [2002] On the intensionality of Turing definitions Proc. Inter. Conf. “Logic and Its Appl.”, devoted to Yu. Ershov and A.I. Mal’cev, (Novosibirsk, 2002), Novosibirsk, NSU, 40-58 05.11.115 article Вернуться к поиску

Downey R. G., Hirschfeldt D. R., Lempp S., Solomon R . [2002] Reverse mathematics of the Nielsen-Schreier theorem Proc. Inter. Conf. “Logic and Its Appl.”, devoted to Yu.Ershov and A.I. Mal’cev, (Novosibirsk, 2002), Novosibirsk, NSU, 59-71 05.05.172 article Вернуться к поиску