The Absorption Law for Slow Provability

Explore a 31-minute lecture on the absorption law for slow provability, presented by Albert Visser as part of the Hausdorff Trimester Program: Types, Sets and Constructions. Delve into a simple proof of the absorption law for a version of slow provability, attributed to Fedor Pakhomov. Discover how this concept applies to the study of the provability logic of Heyting Arithmetic. Gain insights into the fundamental principle that if it is provable that A is slowly provable, then A is provable. Enhance your understanding of mathematical logic and provability theory through this concise yet informative presentation from the Hausdorff Center for Mathematics.