Publisher
Springer Science and Business Media LLC
Reference3 articles.
1. J. Barwise, Admissible Sets and Structures, Springer-Verlag, Berlin (1975).
2. V. A. Rudnev, "On a universal recursive function on admissible sets," Algebra Logika,25, No. 4, 425–435 (1986).
3. S. G. Dvornikov and V. A. Rudnev, "On Rice's theorem in admissible sets," Eighth All-Union Conference on Mathematical Logic [in Russian], Moscow (1986), p. 56.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献