Author:
Беклемишев Лев Дмитриевич,Beklemishev Lev Dmitrievich
Publisher
Steklov Mathematical Institute
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. О логиках доказуемости арифметики Нибергалля;Известия Российской академии наук. Серия математическая;2024
2. Hyperarithmetical Worm Battles;Logical Foundations of Computer Science;2021-12-16
3. MÜNCHHAUSEN PROVABILITY;The Journal of Symbolic Logic;2021-06-10
4. Derived topologies on ordinals and stationary reflection;Transactions of the American Mathematical Society;2018-09-20
5. A many-sorted variant of Japaridze’s polymodal provability logic;Logic Journal of the IGPL;2018-05-04