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
Cenzer D. [1977] Non-generable r.e. sets Lect. Notes in Comp.Sci.,56, 379-385, Springer -Verlag 79.06.62 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hartmanis J., Baker T.P. [1982] On simple Gödel numberings and translation SIAM . J. Comp., 4, № 1, 1-11 75.11.87 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Slaman T.A. [1985] Reflection and the priority method in E -recursion theory Lect. Notes in Math., 1141, 372-404, Springer-Verlag 86.05.65 S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cannonito F.B., Finkelstein M. [1969] On primitive recursive permutations and their inverses J. Symbolic Logic, 34, № 4, 634-638 70.09.58 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ambos-Spies K., Bentzien L., Fejer P.A., Merkle W., Stephan F. [1998] Collapsing polynomial-time degrees Lect. Notes in Logic., 13, 1-24, Springer -Verlag ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cholak P. [1990] Boolean algebras and orbits of the lattice of r.e. sets modulo the finite sets J. Symbolic Logic, 55, № 2, 744-760 91.09.278 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Robinson J. [1962] On the decision problem for algebraic rings Studies Math. Analysis and Related Topics, Stanford, Calif., Univ. Press, 297-304 65.03.373 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Putnam H. [1973] Recursive functions and hierarchies Amer. Math. Monthly, 80, № 6, Part 2, 68-86 74.01.91 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Selivanov V.L. [2010] On the Wadge reducibility of k -partitions Journal of Logic and Algebraic Programming, 79, № 1, 92-102 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Orlicki A. [1990] Some remarks on ω-powers of enumerated sets and their applications to ω-operations Z. math. Logik und Grundl. Math., 36, № 2, 149-161 91.04.72 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Young P.R. [1983] Some structural properties of polynomial reducibilities and sets in NP Proc. Symp. Struct. Comput., 15, 392-401 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Stob M. [1991] Jumps of hemimaximal sets Z. math. Logik und Grundl. Math., 37, № 2, 113-120 92.09.64 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Mohrherr J. [1985] Density of a final segment of the truth-table degrees Pacif. J. Math., 115, № 2, 409-419 85.10.59 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Yates C.E.M. [1971] A note on arithmetical sets of indiscernibles Logic Coll’69, North Holland, 443-451 71.11.95 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ershov Yu.L. [1971] La theorie des enumerations Actes Congress Inter. Math., (Nice, 1970), v.1, Paris, Gauthier-Villars, 223-227 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Homer S. [1980] Two splitting theorems for beta-recursion theory Ann. Math. Logic, 18, № 2, 137-151 80.12.41 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Mourad J. [1990] Superbranching degrees Lect. Notes in Math., 1432, 175-186, Springer-Verlag ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lachlan A.H. [1964] Effective operations in a general setting J. Symbolic Logic, 29, № 4, 163-178 65.10.61 EO article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ash C.J., Knight J.F., Manasse M., Slaman T.A. [1989] Generic copies of countable structures Ann. Pure Appl. Logic, 42, № 3, 195-205 ? G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Nies A. [2008] Eliminating concepts Proc. IMS Workshop "Computational Prospects of Infinity", (Singapore, 2005), Lect. Notes Series, 15, Institute Math. Sci., Nat. Univ. Singapore, 225-248 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Дегтев А.Н. [1972] Об m -степенях простых множеств Алгебра и логика, 11, № 2, 130-139 72.11.36 OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Thurber J. J. [1994] Recursive and recursively enumerable quotient Boolean algebras Arch. Math. Logik Grundl., 33, № 2, 121-129 94.12.43 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Soskova A. A. [2005] Properties of co-spectra of joint spectra of structures Ann.Univ. Sofia, Fac. Math., Inform., 97, 23–40 07.05.123 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Robinson R.W. [1968] A dichotomy of the recursively enumerable sets Z. math. Logik und Grundl. Math., 14, № 4, 339-356 69.08.84 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M., Калимуллин И.Ш., Купер С.Б. [2003] Свойства разложения тотальных степеней по перечислимости Алгебра и логика, 42, №1, 3-25 04.05.85 статья Вернуться ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Simpson S.G. [1980] The hierarchy based on the jump operator Proc. “The Kleene Symposium”, (Madison, Wisconsin , USA, 1979), North-Holland, 203-212 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Smullyan R.M. [1962] On Posr’s canonical systems J. Symbolic Logic, 27, № 1, 55-57 63.11.47 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Shore R.A. [1993] The theories of the T , tt and wtt r.e. degrees: undecidability and beyond Proc IX Latin. Amer. Symp. Math. Logic (Bahia Blanca, Argentina, 1992), Notas de Lo’gica Math, 38, Univ. Nac. del Sur, 61-70 95.11.52 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Szmielew W. [1955] Elementary properties of Abelian groups Fund. Math., 41, № 2, 203-271 57.2074 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Grassin J. [1974] Index sets in Ershov’s hierarchy J. Symbolic Logic, 39, № 1, 97-104 75.03.89 ES article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Barmpalias G., Cooper S.B., Lewis A. ? Minimal pairs and the Slaman-Soare phenomen In prepar. ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kent T.F. [2006] The Π 3 -theory of the Σ 2 0 -enumeration degrees is undecidable J. Symbolic Logic, 71, № 4, 1284-1302 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Bennison V.L., Soare R.I. [1978] Some lowness properties and computational complexity sequences Theor. Comput. Sci., 6, № 3, 233-254 78.B11.1096 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Soare R.I. [1980] Fundamental methods for constructing recursively enumerable degrees London Math. Soc. Lect. Notes, Cambridge Univ. Press, 45, 1-51 81.04.56 S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Nies A. [2003] Parameter definability in the r.e. degrees J. Math. Logic, 3, № 1, 37-65 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Soare R.I. [1981] Constructions in the recursively enumerable degrees Recursion Theory and Computational complexity, Proc. Centro Inter. Math. Estivo (C.I.M.E.), (Bressanone, Italy, 1979), Liguori Editore, Naples, Italy ? S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Groszek M. J., Hummel T. [1998] Σ 2 0 -constructions and I Σ 1 Ann. Pure Appl. Logic, 93, № 1-3, 83-101 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Shore R.A. [1982] Finitely generated codings and the degrees r. e. in a degree d Proc. Amer. Math. Soc., 84, № 2, 256-263 82.10.42 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Brown D.K., Giusto M., Simpson S.G. [2002] Vitali’s theorem and WWKL Arch. Math. Logik Grundl., 41, № 2, 191-206 04.11.108 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Дичев А. [1983] О m -эквивалентности декартовых степеней множеств натуральных чисел Сердика. Бълг. мат. списание , 9. № 1, 43-48 84.02.44 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Pour-El M. B. [1964] Godel numberings versus Priedberg numberings Proc.Amer. Math. Soc., 15, № 2, 252-256 65.05.45 EO article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cholak P., Harrington L. A. [2008] Extension theorems, orbits, and automorphisms of the computable enumerable sets Trans. Amer. Math. Soc., 360, № 4, 1759-1791 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ash C.J., Downey R. G. [1984] Decidable subspaces and recursively enumerable subspaces J. Symbolic Logic, 49, № 4, 1137-1145 85.08.57 S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hugill D. [1969] Initial segments of Turing degrees Proc. London Math. Soc. 19, № 1, 1-15 69.07.71 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Simpson S.G. [1980] Degrees of unsolvability: a survey results Handbook of Mathematic Logic, p.D, North-Holland, 631-652 (Русский перевод в Справочной книге по математической логике, ч. III , (Ершов ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ritter W. [1966] Notation systems and an effective fixed point property Proc. Amer. Math. Soc., 17, № 2, 390-395 67.01.87 E article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Shore R.A. [2002] Computability structures: presentations matter Proc. XI Inter. Congress Logic, Methodology, Philosophy Sci., (Cracow, 1999), Kluwer Acad. Publishers, v.1, 81-95 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lerman M., Remmel J. [1984] The universal splitting properties, II J. Symbolic Logic, 49, № 1, 137-150 84.12.47 S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Mohrherr J. [1983] A conjecture of Erschov for a relative hierarchy fails near Algebra and Logic, 22, № 2, 232-235 84.05.75 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.