Search results

Manaster A. B. , Rosenstein J. G. [1980] .Two-dimensional partial orderings: undecidability J. Symbolic Logic, 45, № 1, 133-143 81.02.35 article Вернуться к поиску

Manaster A. B. , Rosenstein J. G. [1980] .Two-dimensional partial orderings: recursive model theory J. Symbolic Logic, 45, № 1, 121-132 81.02.34 article Вернуться к поиску

Manaster A.B. [1971] Some contrasts between degrees and the arithmetical hierarchy J. Symbolic Logic, 36, № 2, 301-304 72.04.77 OG article Вернуться к поиску

Manaster A.B. , Nerode A. [1970] A universal embedding property of the RET ’s J. Symbolic Logic, 35, № 1, 51-59 71.02.53 S article Вернуться к поиску

Hay L., Manaster A. B., Rosenstein J.G. [1977] Concerning partial recursive similarity transformations of linearly ordered sets Pacif. J. Math., 71, № 1, 57-70 78.04.55 S article Вернуться к поиску

Manaster A. B., Remmel J. B. [1981] Some decision problems for subtheories of two-dimensional partial orderings Lect. Notes in Math., 859, 202-214, Springer-Verlag 81.12.87 article Вернуться к поиску

Hay L., Manaster A. B., Rosenstein J.G. [1975] Small recursive ordinals, many-one degrees, and the arithmetical difference hierarchy Ann. Math. Logic, 8, №3, 297-343 76.01.86 OS article Вернуться к поиску

M Maass W. Mac Queen D. Machover M. Machtey M. MacintyreA MacIntyreJM Madan D.B. Mahaney S.R. Mahn F.K. Maier W. Mainhardt G. Maksimova L. L. Malcev A.I. Manasse M. Manaster A. B. Marandzjan G. B. Marcone A. Marker D. Marques I. MartinDA MartinG Matiyasevich Yu.V. Mayoh B.H. 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....