Publisher
Springer Science and Business Media LLC
Reference15 articles.
1. M. V. Dorzhieva, “Elimination of metarecursive in Owing’s theorem,” Vestnik NGU, Mat., Mekh., Inf., 14, No. 1, 35-43 (2014).
2. M. V. Dorzhieva, “Friedberg numbering of the family of all $$ {\varSigma}_2^1 $$ -sets,” Sib. Zh. Ch. Prikl. Mat., 18, No. 2, 47-52 (2018).
3. R. F. Friedberg, “Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication,” J. Symb. Log., 23, No. 3, 309-316 (1958).
4. S. S. Goncharov and A. Sorbi, “Generalized computable numerations and nontrivial Rogers semilattices,” Algebra and Logic, 36, No. 6, 359-369 (1997).
5. S. S. Goncharov, S. Lempp, and D. R. Solomon, “Friedberg numberings of families of ncomputably enumerable sets,” Algebra and Logic, 41, No. 2, 81-86 (2002).
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献