Funder
Grantová Agentura Ceské Republiky
Publisher
Springer Science and Business Media LLC
Reference38 articles.
1. Adamowicz, Z., Bigorajska, T.: Functions provably total in $$I^-\varSigma _1$$. Fundamenta Mathematicae 132, 189–194 (1989)
2. Aehlig, K., Cook, S., Nguyen, P.: Relativizing small complexity classes and their theories. Comput. Complex. 25(1), 177–215 (2016)
3. Beklemishev, L.D.: Induction rules, reflection principles, and provably recursive functions. Ann. Pure Appl. Log. 85(3), 193–242 (1997)
4. Beklemishev, L.D.: Parameter free induction and provably total computable functions. Theor. Comput. Sci. 224, 13–33 (1999)
5. Bigorajska, T.: On $${\varSigma }_{1}$$-definable functions provably total in $${I\varPi }_{1}^{-}$$. Math. Log. Q. 41, 135–137 (1995)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献