Publisher
American Mathematical Society (AMS)
Subject
Applied Mathematics,General Mathematics
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Classical consequences of constructive systems;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
2. Solovay’s Relative Consistency Proof for FIM and BI;Notre Dame Journal of Formal Logic;2021-11-01
3. The FAN principle and weak König's lemma in herbrandized second-order arithmetic;Annals of Pure and Applied Logic;2020-10
4. On the independence of premiss axiom and rule;Archive for Mathematical Logic;2020-02-07
5. Primitive recursion in the abstract;Mathematical Structures in Computer Science;2020-01