Title：Reflection Principles and Proof-theoretic Analysis

Speaker：Lev Beklemishev (Steklov Mathematical Institute, Russian Academy of Sciences)

Time: 2024/10/29 15:10-18:00

Location: Room 206, Building of Geometry (地学楼), Peking University

Abstract：

In this talk I will give a survey of the use of reflection principles for the analysis of formal theories, and will introduce appropriate modal logic structures, reflection algebras.