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

Ершов Ю.Л. [1971] Вычислимые нумерации морфизмов Алгебра и логика, 10, № 3, 247-308 72.03.44 E статья Вернуться к поиску

Ершов Ю.Л. [1965] Об элементарной теории максимальных нормированных полей ДАН СССР, 165, № 1, 21-23 66.07.252 статья Вернуться к поиску

Ершов Ю.Л. [1967] Об элементарной теории максимальных нормированных полей, III Алгебра и логика, 6, № 3, 31-38 68.01.423 статья Вернуться к поиску

Ершов Ю.Л. [1974] Максимальные и всюду определенные функционалы Алгебра и логика, 13, № 4, 374-397 75.10.68 EO статья Вернуться к поиску

Ершов Ю.Л. [1965] Об элементарной теории максимальных нормированных полей, II Алгебра и логика, 4, № 6, 47-48 66.08.205 статья Вернуться к поиску

Ершов Ю.Л. [1964] Неразрешимость теорий симметрических и простых конечных групп, ДАН СССР, 158, № 4, 777-779 65.03.372 статья Вернуться к поиску

Ершов Ю.Л. [1968] Элементарные теории полей Межд. конгресс математиков, (Москва, 1966), М., Мир, 1968, 143-145 ? статья Вернуться к поиску

Ершов Ю.Л. [1975] Верхняя полурешетка нумераций конечного множества Алгебра и логика, 14, № 3, 258-284 76.02.385 EOS статья Вернуться к поиску

Ершов Ю.Л. [2006] Полурешетки Роджерса конечных частично упорядоченных множеств Алгебра и логика, 45, № 1, 44-84 06.11.23 статья Вернуться к поиску

Ершов Ю.Л. [1997] Поля с непрерывными локальными элементарными свойствами, III Алгебра и логика, 36, № 6, 642-656 99.02.226 статья Вернуться к поиску

Ершов Ю.Л. [1995] Поля с непрерывными локальными элементарными свойствами, II Алгебра и логика, 34, № 3, 262-273 95.08.199 статья Вернуться к поиску

Ершов Ю.Л. [1982] Алгоритмические проблемы в теории полей (положительные аспекты) В Справочной книге по математической логике, III, М., Наука, 269-353 ? статья ...

Ершов Ю.Л. [1985] Σ-предикаты конечных типов над допустимым множеством Алгебра и логика, 24, № 6, 499-536 86.06.89 статья Вернуться к поиску

Ершов Ю.Л. [1972] Вычислимые функционалы конечных типов Алгебра и логика, 11, № 4, 367-437 73.08.54 EO статья Вернуться к поиску

Ершов Ю.Л. [1969], [1973], [1974] Теория нумераций, I, II, III Новосибирск, Из-во НГУ (Имеются переводы на немецкий язык.) ? EG книга Вернуться к поиску

Ершов Ю.Л., Лавров И.А. [1969] О вычислимых нумерациях, II Алгебра и логика, 8, № 1, 65-71 69.09.52 E статья Вернуться к поиску

Ершов Ю.Л. [1972] Теория нумераций Межд. конгресс математиков, (Ницца, 1970), М., Наука, 96 -101. 73.04.103 E статья Вернуться к поиску

Ершов Ю.Л. [1963] Разрешимость элементарных теорий некоторых классов абелевых групп Алгебра и логика, 1, № 6, 37-41 63.10.247 статья Вернуться к поиску

Ершов Ю.Л., Лавров И.А. [1973] Верхняя полурешетка L ( S ) Алгебра и логика, 12, № 2, 167-189 74.02.57 EOS статья Вернуться к поиску

Ершов Ю.Л. [1989] Любое семейство праэлементов порождает допустимое множество Сибирск. матем. журнал 30, № 6, 65-67 90.06.87 статья Вернуться к поиску

Ершов Ю.Л. [2003] Необходимые условия изоморфизма полурешеток Роджерса конечных частично упорядоченных множеств Алгебра и логика, 42, № 4, 413-421 04.02.32 ...

Ершов Ю.Л. [1973] Иерархия множеств класса Δ 2 0 Proc.IV Inter. Congress Logic, Methodology, Philosophy Sci., (Bucharest, 1971), North-Holland, 69-76 ? ES статья Вернуться к поиску

Гончаров С.С., Ершов Ю.Л. [1999] Конструктивные модели Новосибирск, Научная книга (Имеется перевод на английский язык) 01.01.123 книга Вернуться к поиску

Ершов Ю.Л. [1964] Разрешимость элементарной теории дистрибутивных структур с относительными дополнениями и теории фильтров Алгебра и логика, 3, № 3,...

Ершов Ю.Л. [1972] О соотношении сноп-пространств и нумерованных множеств со свойством C 2 * Сб. Исследования по конструктивной математике и математической ...

Ершов Ю.Л. [1996], [2000] Определимость и вычислимость Новосибирск, Научная книга(Имеется перевод на английский язык.); Из-во «Экономика», Научная книга ...

Ершов Ю.Л. [1973] Конструктивные модели Избранные вопросы алгебры и логики, Сб., посвященный памяти А.И.Мальцева (Ширшов А.И. и др. ред.), Наука, Новосибирск,...

Ершов Ю.Л., Палютин Е.А. [1979] [2005] Математическая логика М., Наука, Лань, (Имеются переводы на английский и испанский языки) 79.12.19 87.12.23 04.08.116 06.11.50 G книга ...

Ершов.Ю.Л., Лавров И.А., Тайманов А.Д.., Тайцлин М.А. [1965] Элементарные теории Успехи мат. наук, 20, № 4, 37-108 67.04.90 EOS статья Вернуться к поиску

Мальцев А. И., Ершов Ю. Л., Каргаполов М. И., Ширшов А. И., Бокуть Л. А., Ремесленников В.Н., Гончаров С. С., Лавров И. А. [1977] Алгоритмические проблемы алгебры и теории нумераций....

Е Ершов Ю.Л. Ефремов А.А. Вернуться на главную страницу

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

Rabin M. [1977] Decidable theories Handbook of Mathematic Logic, p. C, North-Holland, 595-629 (Русский перевод в Справочной книге по математической логике, ч. III , (Ершов Ю.Л. – ред.), М., Наука, 1982, 77-111.) ? article Вернуться к поиску

Davis M. [1977] Unsolvable problems Handbook of Mathematic Logic, p. D, North-Holland, 567-594 (Русский перевод в Справочной книге по математической логике, ч. III , (Ершов Ю.Л. –ред.), М., Наука, 1982, 51-76.) ? S article Вернуться к поиску

Shore R.A. [1977] α-recursion theory Handbook of Mathematic Logic, p.D, North-Holland, 653-680 (Русский перевод в Справочной книге по математической логике, ч. III , (Ершов Ю. Л. – ред.), М., Наука, 1982, 111-133.) ? OS article Вернуться к поиску

Enderton G. [1977] Elements of recursive theory Handbook of Mathematic Logic, p. C, North-Holland, 527-566 (Русский перевод в Справочной книге по математической логике , ч. III , (Ершов Ю.Л.- ред.), М., Наука, 1982, 9-50.) ? article Вернуться к поиску

Simpson S.G. [1980] Degrees of unsolvability: a survey results Handbook of Mathematic Logic, p.D, North-Holland, 631-652 (Русский перевод в Справочной книге по математической логике, ч. III , (Ершов Ю.Л. –ред.), М., Наука, 1982, 112-133.) ? S article Вернуться к поиску

Kechris A.S., Moschovakis Y.N. [1977] Recursion in higter types Handbook of Mathematic Logic, p. C, 681-737, North-Holland (Русский перевод в Справочной книге по математической логике, ч. III , (Ершов Ю.Л. – ред.), М., Наука, 1982, 166-223.) ? O article Вернуться к поиску

Aczel P. [1977] An introduction to inductive definitions Handbook of Mathematic Logic, p. C, North-Holland, 1977, 739-782 (Русский перевод в Справочной книге по математической логике, ч. III, (Ершов Ю.Л. –ред.), М., Наука, 1982, 224-269.) ? article Вернуться к поиску

Eršov Yu. L. [1973], [1975], [1977] Theorie der Numerierungen Z. math. Logik und Grundl. Math., I: 19, № 4 , 289-388; II: 21, № 6, 473-584; III: 23, № 4, 289-371 (Перевод книг Ершов Ю. Л. "Теория нумераций, I, II, III", 1969, 1973, 1974.) 74.08.61; 76.08.92; 78.06.103 book Вернуться к поиску

Eршов Ю.Л. (и др. ред.) [1982], [1982], [1983], [1983] Справочная книга по математической логике, части I-IV М., Наука (Перевод книги Barwise J. (ed.), “Handbook of Mathematical Logic, parts ...

Палютин Е.А. [1975] Дополнение к статье Ю.Л.Ершова "Верхняя полурешетка нумераций конечного множества" Алгебра и логика, 14 , № 3, 284-287 ? OS статья Вернуться к поиску

Хисамиев А.Н. [2004] О верхней полурешетке Ершова S E Сибирск. матем. журнал, 45, № 1, 211-228 04.08.270 статья Вернуться к поиску

Арсланов M.M. [2007] Иерархия Ершова Казань, Из-во КГУ ? книга Вернуться к поиску

Батыршин И.И. [2008] Относительная перечислимость в иерархии Ершова Мат. заметки, 84, № 4, 506-517 09.07.103 статья Вернуться к поиску

Селиванов В.Л. [1985] Об иерархии Ершова Сибирск. матем. журнал, 26, № 1, 134-149 85.07.71 OS статья Вернуться к поиску

Таласбаева Ж.Т. [2003] О позитивных нумерациях семейств множеств в иерархии Ершова Алгебра и логика, 42, № 6, 737-746 04.05.87 статья Вернуться к поиску

Ахтямов Р.В. [1987] О неподвижных точках в иерархии Ершова Каз. ун-т, деп. № 8607-В87 88.03.54 статья Вернуться к поиску

... имеется ссылка в одной из следующих книг: R – Роджерс Х. "Теория рекурсивных функций и эффективная вычислимость" (русский вариант); E – Ершов Ю.Л. "Теория нумераций"; O – Odifreddi P. “Classical Recursive Theory, The theory of functions and sets of natural numbers, v. I, II”; S – Соар Р.И. "Вычислимо перечислимые множества ...

Ахтямов Р.В. [1988] Об индексных множествах в иерархии Ершова Сибирск. матем. журнал, деп. № 6176-В88 88.12.51 статья Вернуться к поиску