{"id":"arxiv/2608.29914","url":"https://arxiv.org/abs/2608.29914","tags":["math.LO"],"score":0,"title":"Fixed points in abstract provability structures","domain":"math.LO","source":"arxiv","authors":["Tsubasa Kumasaka","Taishi Kurahashi"],"reviews":0,"subject":"math.LO","summary":"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 incompleteness theorem (G2). For one-variable APS terms built from the provability and refutability operations $\\Box$ and $\\boxtimes$, we investigate the existence and uniqueness of fixed points in terms of their degree. The degree of a term is the number of occurrences of $\\boxtimes$. We prove that every term of degree two has a fixed point and establish a strict hierarchy among the fixed-point properties of the terms…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-30","reactions":{}}