T, Kumasaka. & T, Kurahashi. "Fixed points in abstract provability structures" https://doi.org/10.48550/arXiv.2608.29914