Publisher
Springer Science and Business Media LLC
Reference8 articles.
1. Dekker, J.C.E., andJ. Myhill: Recursive equivalence types. Univ. of Calif. Publ. in Math.3, 67?214 (1960).
2. Ellentuck, E.: Solution of a problem ofR. Friedberg. Math. Z.82, 101?103 (1963).
3. Friedberg, R.: The uniqueness of finite division for recursive equivalence types. Math. Z.75, 3?7 (1961).
4. Halmos, P.R.: Lectures on Boolean algebras, Van Nostrand Math. Studies I (1963).
5. Myhill, J.: Recursive equivalence types and combinatorial functions. Bull. Amer. Math. Soc.64, 373?376 (1958).
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Eight problems about nerode semirings (recursive ultrapowers);Annals of Pure and Applied Logic;1992-04
2. Bibliography;Studies in Logic and the Foundations of Mathematics;1992
3. Markov's Principle, Isols and Dedekind Finite Sets;The Journal of Symbolic Logic;1988-12
4. Markov's principle, isols and Dedekind finite sets;Journal of Symbolic Logic;1988-12
5. On Infinite Series of Infinite Isols;The Journal of Symbolic Logic;1988-06