Publisher
Springer International Publishing
Reference14 articles.
1. Barwise, J.: Admissible Sets and Structures: An Approach to Definability Theory. Springer, Berlin (1975)
2. Boolos, G., Putnam, H.: Degrees of unsolvability of constructible sets of integers. J. Symb. Log. 33, 497–513 (1968)
3. Dimitriou, I. (ed.): Bonn International Workshop on Ordinal Computability. Report Hausdorff Centre for Mathematics, Bonn (2007). http://www.math.uni-bonn.de/ag/logik/events/biwoc/index.html
4. Carl, M.: Taming Koepkes Zoo II: Register Machines. Preprint (2020). arXiv:1907.09513v4
5. Carl, M., Fischbach, T., Koepke, P., Miller, R., Nasfi, M., Weckbecker, G.: The basic theory of infinite time register machines. Arch. Math. Logic 49(2), 249–273 (2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献