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

Miller D., Remmel J.B. [1984] Effectively nowhere simple sets J. Symbolic Logic, 49, № 1, 129-136 85.01.59 OS article Вернуться к поиску

Miller D. [1982] Index sets and Boolean operations Proc. Amer. Math. Soc., 84, № 4, 568-572 82.12.44 article Вернуться к поиску

Miller D. [1978] An application of invariant sets to global definability J. Symbolic Logic, 44, № 1, 9-14 79.12.29 article Вернуться к поиску

Hay L., Miller D. [1982] A topological analog to the Rice-Shapiro index theorem J. Symbolic Logic, 37, № 4, 824-832 83.08.37 article Вернуться к поиску

Miller D. [1981] High recursively enumerable degrees and the anti-cupping property Lect. Notes in Math.,.859, 230-245, Springer-Verlag 82.02.55 OS article Вернуться к поиску

Hay L., Miller D. [1982] The Addison game played backwards: index sets in topology Proc. Patras Logic Symp. (Patras, Greece, 1980), North-Holland, 231-237 84.03.84 article Вернуться к поиску

... McCarthyC McCarthyJ McCoy Ch.F.D. McCreight E.M. McEvoy K. McKenzie R. McKinsey J. C. C. McLaughlin T.G. McNicholl T. H. McNulty G. Melhorn K. Melzak Z.A. Mendelson E. Menzel W. Merkle W. Metakides G. MeyerAR Mihailovich N. J. Mileti J.R. MillarRC MillarTS MillerD MillerJS MillerRG MillerS MillerW Mills C.F. Minsky M.L. Mitchell R. Moggi E. Moh Shaw-kwei Mohrherr J. Moldestad J. Moll R. Monk J.D. Montagna F. Montalban A. MooreD MooreEF Morley M.D. Morozov A.S. Morris P.B. Moschovakis Y.N. Moses M.F. Mostowski ...