Author:
Lempp Steffen,Mummert Carl
Reference6 articles.
1. [1] Downey, R. G., "Computability theory and linear orderings", pp. 823--976 in Handbook of Recursive Mathematics, Vol. 2, edited by Yu. L. Ershov, vol. 139 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1998.
2. [4] Rogers, H., Jr., Theory of Recursive Functions and Effective Computability, 2d edition, The MIT Press, Cambridge, 1987.
3. [5] Simpson, S. G., Subsystems of Second Order Arithmetic, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1999.
4. [6] Soare, R. I., Recursively Enumerable Sets and Degrees, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1987.
5. [2] Mummert, C., "Reverse mathematics of MF" spaces, submitted for publication.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献