Graph colorings and recursively bounded Π10-classes
暂无分享,去创建一个
[1] James H. Schmerl. Recursive colorings of graphs , 1980 .
[2] Alfred B. Manaster,et al. Effective matchmaking and -chromatic graphs , 1973 .
[3] Dwight R. Bean. Effective Coloration , 1976, J. Symb. Log..
[4] R. P. Dilworth,et al. A DECOMPOSITION THEOREM FOR PARTIALLY ORDERED SETS , 1950 .
[5] Dwight R. Bean,et al. Recursive Euler and Hamilton paths , 1976 .
[6] A. Manaster,et al. EFFECTIVE MATCHMAKING (RECURSION THEORETIC ASPECTS OF A THEOREM OF PHILIP HALL) , 1972 .
[7] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .
[8] J. B. Remmel,et al. On the effectiveness of the Schröder-Bernstein theorem , 1981 .
[9] Henry A. Kierstead,et al. An effective version of Dilworth’s theorem , 1981 .
[10] R. Soare,et al. Π⁰₁ classes and degrees of theories , 1972 .
[11] H. Kierstead,et al. A theory of recursive dimension for ordered sets , 1984 .
[12] Robert I. Soare,et al. Degrees of members of Π10 classes , 1972 .
[13] Carl G. Jockusch,et al. Countable retracing functions and $\Pi_2{}^0$ predicates. , 1969 .
[14] H. Kierstead. Recursive Colorings of Highly Recursive Graphs , 1981, Canadian Journal of Mathematics - Journal Canadien de Mathematiques.