Publisher
Springer International Publishing
Reference19 articles.
1. Boolos, G.: On the semantics of the constructible levels. Math. Logic Q. 16, 139–148 (1970)
2. Boolos, G., Putnam, H.: Degrees of unsolvability of constructible sets of integers. J. Symb. Log. 33, 497–513 (1968)
3. Carl, M.: Optimal results on ITRM-recognizability. arXiv: Logic (2013)
4. Carl, M.: The distribution of ITRM-recognizable reals. Ann. Pure Appl. Log. 165, 1403–1417 (2014)
5. Carl, M.: The lost melody phenomenon, pp. 49–70. arXiv: Logic (2014)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献