Author:
Dekker J. C. E.,Myhill J.
Publisher
Springer Science and Business Media LLC
Reference7 articles.
1. Dekker, J. C. E.: Congruences in isols with a finite modulus. Math. Z.70, 113?124 (1958).
2. Dekker, J. C. E.: The factorial function for isols. Math. Z.70., 250?262 (1958).
3. Dekker, J. C. E., andJ. Myhill: Retraceable sets. Can J. Math.10, 357?373 (1958).
4. Dekker, J. C. E. andJ. Myhill: Recursive equivalence types, monograph, to be published by the University of California Press.
5. Dekker, J. C. E. andJ. Myhill: Some theorems on classes of recursively enumerable sets. Trans. Amer. Math. Soc.89, 25?59 (1958).
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Bibliography;Annals of Pure and Applied Logic;1992-04
2. Some properties of ∀∃ models in the isols;Proceedings of the American Mathematical Society;1986
3. A coding theorem for isols;Journal of Symbolic Logic;1970-09
4. Elementary differences between the isols and the co-simple isols;Transactions of the American Mathematical Society;1967
5. Elementary properties of the group of isolic integers;Mathematische Zeitschrift;1962-12