{"id":"arxiv/2609.25556","url":"https://arxiv.org/abs/2609.25556","tags":["math.LO","cs.LO"],"score":0,"title":"Pointwise provable equality and the failure of composition","domain":"math.LO","source":"arxiv","authors":["Florian Lengyel"],"reviews":0,"subject":"math.LO","summary":"In their studies of pathologies in recursion categories, Montagna (1989) and Di Paola--Montagna (1991) introduce the algebraic systems $S'$ and $S'_T$, respectively, and claim that they are categories. We show that the proposed composition is not independent of the choice of representatives. For every consistent recursively enumerable extension $T$ of Peano arithmetic ($\\mathrm{PA}$), we exhibit two unary programs whose partial functions are provably equal in $T$, separately at each standard input. Composing each after a program that searches for a $T$-proof of contradiction and returns its…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-22","reactions":{}}