Publisher
Springer Science and Business Media LLC
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Epsilon Numbers;Ordinal Analysis with an Introduction to Proof Theory;2020
2. Epsilon substitution for $$\textit{ID}_1$$ ID 1 via cut-elimination;Archive for Mathematical Logic;2017-09-19
3. Exact bounds on epsilon processes;Archive for Mathematical Logic;2010-12-25
4. Cut elimination for a simple formulation of epsilon calculus;Annals of Pure and Applied Logic;2008-03
5. Epsilon substitution method for -FIX;Journal of Symbolic Logic;2006-12