Publisher
Cambridge University Press
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fusible numbers and Peano Arithmetic;Logical Methods in Computer Science;2022-07-28
2. Fusible numbers and Peano Arithmetic;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
3. CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS;The Bulletin of Symbolic Logic;2021-01-05
4. The Scope of Gödel’s First Incompleteness Theorem;Logica Universalis;2014-11-28
5. Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts;Notre Dame Journal of Formal Logic;2014-01-01