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

Miller R. G. [2001] Δ 2 0 -spectrum of a linear order J. Symbolic Logic, 66, № 2, 470-486 05.05.112 article Вернуться к поиску

Miller R. G. [2002] Definable incompleteness and Friedberg splittings J. Symbolic Logic, 67, № 2, 679-696 05.09.90 article Вернуться к поиску

Harizanov V.S., Miller R. [2007] Spectra of structures and relations J. Symbolic. Logic, 72, № 1, 324-348 ? article Вернуться к поиску

Miller R. G. [2002] Orbits of computable enumerable sets: low sets can avoid an upper cone Ann. Pure Appl. Logic, 118, № 1-2, 61-85 08.01.201 article Вернуться к поиску

Miller R. G., Nies A, Shore R. A. [2004] Undecidability of the ∀∃-theory of R ( ≤ , ∨ , ∧ ) Trans. Amer. Math. Soc., 356, № 8, 3025-3067 08.01.204 article Вернуться к поиску

... 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 A. MouradJ ...