Publisher
Springer Science and Business Media LLC
Reference18 articles.
1. Friedman, H.: Some systems of second order arithmetic and their use. In: James, R. (ed.) Proceedings of the International Congress of Mathematicians. (vol. 1, pp. 235?242) Vancouver: Canadian Mathematical Congress 1975
2. Friedman, H., McAloon, K., Simpson, S.: A finite combinatorial principle which is equivalent to the 1-consistency of predicative analysis. In: Metakides, G. (ed.) Patras logic symposium. Amsterdam New York: North-Holland 1982, pp. 197?230
3. Friedman, H., Simpson, S., Smith, R.: Countable algebra and set existence axioms. Ann. Pure Appl. Logic25, 141?181 (1983)
4. Hirst, J.: Combinatorics in subsystems of second order arithmetic. Ph.D. Thesis. The Pennsylvania State University 1987
5. Kierstead, H.: Recursive colorings of highly recursive graphs. Can. J. Math.33, 1291?1308 (1981)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献