{"id":"arxiv/2610.24422","url":"https://arxiv.org/abs/2610.24422","tags":["math.LO"],"score":0,"title":"Weakly uniform computable categoricity and function composition","domain":"math.LO","source":"arxiv","authors":["Joey Lakerdas-Gayle"],"reviews":0,"subject":"math.LO","summary":"We introduce the definition of a weakly $X$-uniformly $Y$-computably categorical structure, relativizing a definition of Kudinov (1996), and show that this relativized notion is closely related to the 2-dimensional complexity of the pairs of partial functions $(f,g)$ with the property that the composition $g\\circ f$ simulates convergent $\\emptyset'$-oracle computations. We develop a general theory for computing via composition and use it to prove results about the surprisingly complex weakly uniform categoricity spectrum of the structure $(ω,S)$ where $S(n)=n+1$. Namely, that $(ω,S)$ is…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-17","reactions":{}}