Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. P. CLOTE: “Weak partition relations, finite games and independence results”, Proceedings of Logic Colloquium in Karpac 1979.
2. H. FRIEDMAN, K. Mc ALOON, S. SIMPSON: “A finite combinatorial principle which is equivalent to the 1-consistency of predicative analysis”.
3. C.G. JOCKUSCH, Jr.: “Ramsey's theorem and recursion theory”, SL 37-2, June 1972.
4. C.G. JOCKUSCH R. SOARE: “sk1/o classes and degrees of theories” Transactions of the American Mathematical Society 173, November 1972.
5. L.A.S. KIRBY, Ph. D. Thesis, Manchester University 1977.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献