Author:
Paris J. B.,Wilkie A. J.,Woods A. R.
Publisher
Cambridge University Press (CUP)
Cited by
98 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Models of Arithmetic and Independence Results;Graduate Texts in Mathematics;2024
2. On the existence of strong proof complexity generators;The Bulletin of Symbolic Logic;2023-11-22
3. The Hardest Explicit Construction;2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS);2022-02
4. Iterated multiplication in $$ VTC ^0$$;Archive for Mathematical Logic;2022-01-04
5. Where pigeonhole principles meet Koenig lemmas;T AM MATH SOC;2021-08-13