Publisher
American Mathematical Society
Cited by
79 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Classical consequences of constructive systems;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
2. A direct computational interpretation of second-order arithmetic via update recursion;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02
3. The Price of Mathematical Scepticism;Philosophia Mathematica;2022-06-30
4. On the Performance of Axiom Systems;Axiomatic Thinking II;2022
5. On False Heine/Borel Compactness Principles in Proof Mining;Lecture Notes in Computer Science;2021