Labelling Systems and r.e. Structures
暂无分享,去创建一个
[1] C. Ash,et al. Recursive labelling systems and stability of recursive structures in hyperarithmetical degrees , 1986 .
[2] Christopher J. Ash. Stability of recursive structures in arithmetical degrees , 1986, Ann. Pure Appl. Log..
[3] Christopher J. Ash. Categoricity in hyperarithmetical degrees , 1987, Ann. Pure Appl. Log..
[4] E. Barker. Intrinsically gs;0alpha; relations , 1988, Ann. Pure Appl. Log..
[5] Julia F. Knight,et al. Pairs of Recursive Structures , 1990, Ann. Pure Appl. Log..
[6] Christopher J. Ash,et al. Jumps of orderings , 1990 .