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

Owings J.C. [1971] A splliting theorem for simple Π 1 1 sets J. Symbolic Logic, 36, № 3, 433-438 72.06.72 article Вернуться к поиску

Owings J.C. [1967] Recursion, metarecursion and inclusion J. Symbolic Logic, 32, № 2, 173-178 ? OS article Вернуться к поиску

Owings J.C. [1989] A cardinality version of Beigel’s nonspeedup theorem J. Symbolic Logic, 54, № 3, 761-767 90.09.40 article Вернуться к поиску

Owings J.C. [1969] Π 1 1 sets, ω-sets and metacompleteness J. Symbolic Logic, 34, № 2, 194-204 70.02.45 article Вернуться к поиску

Jockusch C.G. Jr., Owings J.C. [1990] Weakly semirecursive sets J. Symbolic Logic, 55, № 2 , 637-644 91.06.52 article Вернуться к поиску

Owings J.C. [1973] Diagonalization and the recursion theorem Notre Dame J. Formal Logic, 14, № 1, 95-99 73.10.49 OS article Вернуться к поиску

Owings J.C. [1986] Effective choice functions and index sets J. Comp. and Syst. Sci., 32, № 3, 370-373 87.04.44 article Вернуться к поиску

Beigel R.J., Gasarch W.I., Gill J., Owings J.C. [1993] Terse, superterse, and verbose sets Inform. Comput., 103 , № 1 , 68-85 ? O article Вернуться к поиску

Owings J.C. [1970] Commutativity and common fixed points in recursion theory Proc. Amer. Math. Soc., 24, № 2, 385-387 71.08.52 article Вернуться к поиску

Harizanov V. S., Kummer M., Owings J. C. [1992] Frequency computations and the cardinality theorem J. Symbolic Logic, 57, № 2, 682-687 93.04.55 article Вернуться к поиску

Owings J.C. [1970] The meta r.e. sets but not the Π 1 1 sets can be enumerated without repetition J. Symbolic Logic, 35, № 2, 223-229 71.05.61 article Вернуться к поиску

O Oberschelp A. Odifreddi P.G. Odintsov S. P. Ogiwara M. Ohashi K. Omanadze R. Sh. Orlicki A. Ouspenski V.A. Owings J.C. Вернуться на главную страницу