Author:
Ambos-Spies Klaus,Müller Gert H.,Sacks Gerald E.
Publisher
Springer Berlin Heidelberg
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the complexity of the theory of a computably presented metric structure;Archive for Mathematical Logic;2023-06-09
2. Lawvere-Tierney topologies for computability theorists;Transactions of the American Mathematical Society, Series B;2023-01-23
3. Decision Times of Infinite Computations;Notre Dame Journal of Formal Logic;2022-05-01
4. Effectiveness for the Dual Ramsey Theorem;Notre Dame Journal of Formal Logic;2021-08-01
5. Feedback hyperjump;Journal of Logic and Computation;2021-01