{"id":"arxiv/2610.23365","url":"https://arxiv.org/abs/2610.23365","tags":["math.LO"],"score":0,"title":"A technical note on universal formula pcas","domain":"math.LO","source":"arxiv","authors":["Shuwei Wang"],"reviews":0,"subject":"math.LO","summary":"We record some interesting technical caveats found when using universal formulae to formulate pcas -- namely, that there are different ways to extract a (partial) function from a definable collection of pairs, and these choices have an impact on formula complexity.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-16","reactions":{}}