Search results

Di Paola R.A., Heller A. [1987] Dominical categories: Recursion Theory without elements J. Symbolic Logic, 52, № 3, 594-635 88.06.77 O article Вернуться к поиску

Di Paola R.A. [1968] A note on diminishing the undecidable region of a recursively enumerable set Duke Math. J., 35, № 2, 399-405 69.02.71 article Вернуться к поиску

Di Paola R.A. [1978] The operator gap theorem in α-recursion theory Arch. Math. Logik Grundl., 19, № 3-4, 115-129 80.01.45 O article Вернуться к поиску

Di Paola R.A. [1966] Some properties of pseudo-complements of recursively enumerable sets Trans. Amer. Math. Soc., 121, № 2, 296-308 67.02.66 article Вернуться к поиску

Di Paola R.A. [1981] A lift of a theorem of Friedberg : a Banach-Mazur functional that coincides with no α-recursive functional on the classe of α-recursive functions J. Symbolic Logic, 46, № 2, 216-232 81.12.49 article Вернуться к поиску

D Daley R.P. Dańko W. Davey K. Davis M. Dawes A.M. Degtev A.N. Dekker J.C.E. Demuth O. Dennis-Jones E.G. Di Paola R.A. Dietzfelbinger M. Ding Decheng Ditchev A.V. Dobrinen N. Dobritsa V. P. Doner J. Dougherty R. Downey R. Dreben B. Driscoll G. C. Jr. Вернуться на главную страницу