News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
... mathematics. With a few exceptions unpublished articles and private messages were not included in the bibliography. The database will be corrected and updated whenever new information arrives. Any feedback including remarks and suggestions is welcomed on e-mail: lavrov@ispras.ru . Search Hints 1. To get the list of authors included in the database click on first letter of author’s last name, either Russian or English. You will be provided with the list of all authors whose name starts with the selected ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Канович М.И. [1970] О сложности разрешения рекурсивно перечислимых множеств ДАН СССР, 192, № 4, 721-723 70.11.51 O статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Гончаров С.С., Сорби А. [1997] Обобщенно- вычислимые нумерации и нетривиальные полурешетки Роджерса Алгебра и логика, 36, № 6, 621-641. 99.03.58 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Лавров И.А. [1970] Логика и алгоритмы Новосибирск, Из-во НГУ ? книга Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cooper S.B. [1987] Enumeration reducibility using bounded information; counting minimal covers Z. math. Logik und Grundl. Math., 33 , № 8, 537-560 ? OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Läuchli H., Leonard J. [1966] On the elementary thepry of linear order Fund. Math., 59, № 1, 109-116 67.04.80 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Normann D. [1978] Set recursion General Recursion Theory, II, Proc. Symp. (Oslo, 1977), 303-320,North Holland 79.05.64 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Simpson S. G. [1985] Reverse Mathematics Proc. Summer Institute on Recursive Theory (Ithaca, New York), 42, Amer. Math. Soc., Ass. Symbolic Logic, 461-471 86.03.26 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Трахтенброт Б.А. [1965] Оптимальные вычисления и частотное явление Яблонского Алгебра и логика, 4, № 5, 79-93 66.В12.214 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Fabian R.J., Kent C.F. [1969] Recursive functions defined by ordinal recursions Proc. Amer. Math. Soc., 23, № 1, 206-210 70.06.78 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Normann D. [2002] Exact real number compatation relative to hereditarily total functions Theor. Comp. Sci., 284, № 2, 437-453 04. ВН1.167 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Robinson R.W. [1967] Simplicity of recursively enumerable sets J. Symbolic Logic, 32, № 2, 162-172 68.07.76 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ambos-Spies K., Lempp S., Lerman M. [1994] Lattice embeddings into the r. e. degrees preserving 0 and 1 J. London Math. Soc., 49, № 1, 1-15 94.10.123 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Skolem T. [1944] Some remarks on recursive arithmetic Kon. Nors. Vid., Sel., Forh., 17, 103-106 ~ RO article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Селиванов В.Л. [1987] Гpyппы aвтoмopфизмoв нумepoвaнных мнoжeств Мaт. зaметки, 4l, № 4, 592-597 87.08.203 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Turing A.M. [1950] The word problem in semi-groups with cancellation Ann. Math., 52, № 2 , 491-505 ~ article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lerman M. [1976] Types of simple α-recursively enumerable sets J. Symbolic Logic, 41, № 2, 419-426 77.03.53 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Csima B., Montalban A., Shore R.A. [2006] Boolean algebras, Tarski invariants and index sets Notre Dame J. Math. Logic, 47, № 1, 1-23 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M., Калимуллин И.Ш., [2003] Исследования по теории вычислимости Сб. "На рубеже веков",Каз. мат. об-во, 50-68 ? статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Козьминых В.В. [1972] О представлении частично рекурсивных функций в виде суперпозиций Алгебра и логика, 11, № 3, 270-294 73.03.77 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Metakides G., Nerode A. [1982] The introduction of non recursive methods in mathematics Proc. Conf. “The I. E .J. Brouwer Centenary Symp.”, (Noorwijkerhout, 1981), North-Holland, 319-335 ? OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Harizanov V. S. [1993] The possible Turing degree of the nonzero member in a two element degree spectrum Ann. Pure Appl. Logic, 60, № 1, 1-30 93.11.91 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Тамме Т. [1990] Два несравнимых множества, инвариантные относительно группы автоморфизмов, в вычислимых структурах Уч. зап. Тарт. ун-та, № 878, 137-146 90.08.32 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Simpson S.G. [2007] An extension of the recursively enumerable Turing degrees J. London Math. Soc., 75, 287-297 09.03.144 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... [1978] О вполне перечислимых подмножествах прямых произведений нумерованных множеств Сб. Мат. лингвистика и теория алгоритмов, Калинин, 130-132 78.12.56 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Добрица В.П. [1977] Вычислимость некоторых классов конструктивных алгебр Сибирск. матем. журнал, 18, № 3, 570-579 77.12.88 G статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ершов Ю.Л. [1970] Об индексных множествах Сибирск. матем. журнал, 11, № 2, 326-342 70.07.82 EOSG статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Yuefei Sui, Zhang Z. [1999] The cupping theorem in R/M J. Symbolic Logic, 64, № 2, 643-650 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Дичев А. [1981] Пример на множество M от естественных чисел което не е m -эквивалентно на M 2 Мат. и мат. образ. , София, България, 137-141 82.01.47 статья (болг.) Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ambos-Spies K., Nies A. [1992] The theory of the polynomial many-one degrees of recursive sets is undecidable, Lect. Notes in Comp. Sci., 577, 209-210, Springer-Verlag ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Дегтев А.Н. [1995] О соотношениях между полными множествами, 2 Изв. Вузов. Мат., № 3, 8-14 ? статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Goetze B. [1976] The structure of the lattice of recursive sets Z. math. Logik und Grundl. Math., 22, № 2, 187-191 77.01.50 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Normann D. [1996] A hierarchy of domains with totality, but without density London Math. Soc. Lect. Notes, Cambridge Univ. Press, 224, 233-257 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Поляков Е.А. [1989] О типах сходства и рекурсивного изоморфизма частично рекурсивных функций Сибирск. матем. журнал, 30, № 6, 188-192 90.06.67 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Rice H.G. [1954] Recursive real numbers Proc. Amer. Math. Soc., 5, № 5, 784-791 55.2524 ROS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hirschfeldt D. R. [2000] Degree spectra of relations on computable structures Bull. Symbolic Logic, 6, № 2, 197-212 06.10.72 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Steel J. R. [1975] Descending sequences of degrees J. Symbolic Logic, 40, № 1, 59-61 76.01.84 S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Stob M. [1985] Major subsets and the lattice of recursively enumerable sets Proc. Summer Institute on Recursive Theory (Ithaca, New York), 42, Amer. Math. Soc., Ass. Symbolic Logic, 107-116 86.03.58 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Матиясевич Ю.В. [1984] Об исследованиях по некоторым алгорифмическим проблемам алгебры и теории чисел Труды Мат. ин-та АН СССР, 168, 218-235 84.10.96 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jones J.P. [1982] Universal diophantine equation J. Symbolic Logic, 47, № 3, 549-571 83.03.55 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Trachtenbrot B.A. [1977] Frequency algorithms and computations Lect. Notes in Comp. Sci., 4497, 148-161, Springer-Verlag 78.В4.680 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Пранк Р. [1981] О факторрешетке решетки рекурсивно перечислимых множеств по конгруэнтности иммунности Уч. зап. Тарт. ун-та, № 556, 11-14 81.06.31 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Friedberg R.M. [1958] Three theorems on recursive enumeration J. Symbolic Logic, 23 , № 3, 309-316 61.01.64 REOSG article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Knight J. F. [1990] A metatheorem for constructing by finitely many workers J. Symbolic Logic, 55, № 2, 787-804 91.08.85 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr. [1975] Recursiveness of initial segmens of Kleene’s O Fund. Math., 87, № 2, 161-167 75.12.51 S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Кинбер Е.Б. [1977] О тьюринговых степенях гиперпростых множеств Сб. Латвийский мат. ежегодник, в.21, Рига, Из-во ЛГУ, 164-170 78.В3.496 S статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Fenstad J.E. [1978] On the foundation of general recursion theory: computations versus inductive definability General Recursion Theory, II, Proc. Symp. (Oslo, 1977), North Holland, 99-110 79.05.63 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hinman P.G., Slaman T.A. [1991] Jump embedding in the Turing degrees J. Symbolic Logic, 56, № 2, 563-591 92.08.64 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Медведев Ю.Т. [1955] Степени трудности массовых проблем ДАН СССР, 104, № 4 , 501-504 57.2845 O статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Щеглов А.И. [1967] Алгебра частично рекурсивных функций Алгебра и логика, 6 , № 6, 33-48 68.09.60 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.