Search results

Ash C.J., Knight J.F. [1997] Possible degrees in recursive copies, II Ann. Pure Appl. Logic, 87, № 2, 151-165 ? article Вернуться к поиску

Ash C. J., Knight J.F. [1996] Recursive structure and Ershov’s hierarchy Fund. Math., 142, № 2, 147-161 ? R article Вернуться к поиску

Ash C.J., Knight J.F. [1994] Recursive expantions Fund. Math., 145, № 2, 153-169 ? G article Вернуться к поиску

Ash C. J. [1998] Isomorphic recursive structure Handbook of Recursive Mathematics, v.1, 167-181, Elsevier ? article Вернуться к поиску

Ash C.J. , Knight J.F. [1994] Ramiied systems Ann. Pure Appl. Logic, 70, № 3, 205-221 95.09.41 article Вернуться к поиску

Ash C.J., Knight J.F. [1992] Relatively recursive expantions Fund. Math., 140, № 2, 137-155 ?; G article Вернуться к поиску

Ash C. J. [1990] Labelling systems and r.e. strustures Ann. Pure Appl. Logic, 47, № 2, 99-119 ? G article Вернуться к поиску

Ash C.J., Goncharov S.S. [1985] Strong Δ 2 0 categoricity Algebra and Logic, 24, № 6, 718-727 86.08.75 SG article Вернуться к поиску

Ash C. J. [1991] A construction for recursive linear orderings J. Symbolic Logic, 56, № 2, 673-683 92.08.58 Q article Вернуться к поиску

Ash C.J., Knight J.F. [1990] Pairs of recursive structures Ann. Pure Appl. Logic, 46, № 3, 211-234 ? G article Вернуться к поиску

Ash C. J. [1986] Stability of recursive structures in arithmetical degrees Ann. Pure Appl. Logic, 32, № 2, 113-135 ? OSQ article Вернуться к поиску

Ash C. J. [1987] Categoricity in hyperarithmetical degrees Ann. Pure Appl. Logic, 34, № 1, 1-14 ? G article Вернуться к поиску

Ash C.J. , Knight J.F. [1994] Mixed systems J. Symbolic Logic, 59, № 4, 1383-1399 95.08.73 article Вернуться к поиску

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 Вернуться к поиску

Ash C. J., Knight J.F., Slaman T.A. [1993] Relatively recursive expansions, II Fund. Math., 142, № 2, 147-161 94.02.75 R article Вернуться к поиску

Ash C.J., Knight J. [2000] Computable structures and the hyperarithmetical hierarchy Studies Logic and Found. Math., 144, Elsevier ? book Вернуться к поиску

Ash C.J., Knight J.F. [1995] Possible degrees in recursive copies Ann. Pure Appl. Logic, 75, № 3, 215-221 96.04.63 G article Вернуться к поиску

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 Вернуться к поиску

Ash C.J., Nerode A. [1981] Functorial properties of algebraic closure and skolemization J. Austral. Math. Soc., A31, № 2, 136-141 82.04.112 G article Вернуться к поиску

Ash C.J., Nerode A. [1981] Intrincically recursive relations Aspects of Effective Algebra, 26-41, Upside Down a Book Co., Yarra Glen, Vic. ? SG article Вернуться к поиску

Ash C.J., Cholak P., Knight J.F. [1997] Permitting forsing, and copying of a given recursive relation Ann. Pure Appl. Logic, 86, № 3, 219-236 ? article Вернуться к поиску

Ash C.J., Jockusch C. G. Jr., Knight J.F. [1990] Jumps of orderings Trans. Amer. Math. Soc., 319, № 2, 573-599 91.04.71 G article Вернуться к поиску

A AbianS Abraham U. Ackermann W. Aczel P. Addison J.W. Adleman L.M. Afshari B. Ahmad S. Alfeld Ch. Allender E. W. Aloisio P. Alton D.A. Ambos-Spies K. Appel K.I. AptKR Arbib M.A. Arslanov M. M, AshCJ AsserG. Ausiello G. AxJ Axt P. Вернуться на главную страницу

Ash C. J. [1986] Recursive labeling systems and stability of recursive structures in hyperarithmetical degrees Trans. Amer. Math. Soc., 298, № 2, 497-514; corr. 310, № 2, 851 87.08.31 SG article Вернуться к поиску