collaborators

1 paper

math.LO2026

Fixed points in abstract provability structures

Tsubasa Kumasaka, Taishi Kurahashi

We study fixed points in abstract provability structures (APSs), which were introduced by Beklemishev and Shamkanov as an order-theoretic framework for studying Gödel's second inco…