Author:
Girard Jean-Yves,Ressayre Jean-Pierre
Publisher
American Mathematical Society
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modern perspectives in Proof Theory;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
2. The spectrum of Π31-soundness;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
3. The Π21$\Pi ^1_2$ consequences of a theory;Journal of the London Mathematical Society;2022-12-23
4. Locally hyperarithmetical induction;Bulletin of the London Mathematical Society;2022-11-29
5. Boundedness theorems for flowers and sharps;Proceedings of the American Mathematical Society;2022-06-10