Publisher
Cambridge University Press (CUP)
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reverse Mathematics;Handbook of the History and Philosophy of Mathematical Practice;2024
2. Structure of semisimple rings in reverse and computable mathematics;Archive for Mathematical Logic;2023-06-08
3. A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES;The Journal of Symbolic Logic;2021-06-08
4. FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS;The Journal of Symbolic Logic;2021-02-01
5. Incompleteness and jump hierarchies;Proceedings of the American Mathematical Society;2020-07-29