Author:
Beklemishev Lev D.,Pakhomov Fedor N.
Funder
Ministry of Education and Science of the Russian Federation
Reference50 articles.
1. On provability logics with linearly ordered modalities;Beklemishev;Stud. Log.,2014
2. Proof-theoretic analysis by iterated reflection;Beklemishev;Arch. Math. Log.,2003
3. Provability algebras and proof-theoretic ordinals, I;Beklemishev;Ann. Pure Appl. Log.,2004
4. Reflection principles and provability algebras in formal arithmetic;Beklemishev;Usp. Mat. Nauk,2005
5. Veblen hierarchy in the context of provability algebras;Beklemishev,2005
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献