Publisher
Springer Science and Business Media LLC
Reference11 articles.
1. Dekker, J. C. E., andJ. Myhill: Recursive equivalence types. Univ. Calif. Publs. in Math. (New Series)3, No. 3, 67?214 (1960).
2. Ellentuck, E.: Solution of a problem ofR. Friedberg. Math. Z.82, 101?103 (1963).
3. Friedberg, Richard: The uniqueness of finite division for recursive equivalence types. Math. Z.75, 3?7 (1961).
4. Myhill, J.: Recursive equivalence types and combinatorial functions. Bull. Am. Math. Soc.64, 373?376 (1958).
5. -- Recursive equivalence types and combinatorial functions (part II). Proc. International Congress in Logic, Methodology, and Philosophy of Science, Stanford, 46?55 (1962).
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Polynomially isolated sets;Lecture Notes in Mathematics;1990
2. Recursive equivalence types of vector spaces;Journal of the Australian Mathematical Society;1974-11
3. A universal embedding property of the RETs;Journal of Symbolic Logic;1970-03
4. Rich co-ordinals, addition isomorphisms, and RETs;Journal of Symbolic Logic;1969-05-29
5. Recursive equivalence: A survey;Proceedings of the Summer School in Logic Leeds, 1967;1968