TY  - RPRT
TI  - Fixed points in abstract provability structures
AU  - Tsubasa Kumasaka
AU  - Taishi Kurahashi
PY  - 2026
UR  - https://arxiv.org/abs/2608.29914
ID  - 2608.29914
ER  -