{"id":"arxiv/2610.30565","url":"https://arxiv.org/abs/2610.30565","tags":["math.LO","math.FA"],"score":0,"title":"Computable presentations of separable Lebesgue spaces","domain":"math.LO","source":"arxiv","authors":["Ruofei Xie","Xuanheng Zhao"],"reviews":0,"subject":"math.LO","summary":"For every right-c.e.\\ real $p\\in(1,2)$, $L^p[0,1]$ has a computable presentation. The proof combines an effective stability modulus for almost isometric embeddings with a Fraïssé-style construction in which the exponent varies. In the same range, if $\\ell^p$ has a computable presentation, then $p$ is computable. Combining these with the known results gives the computable presentability classification for all separable Lebesgue spaces. We also formulate an effective Fraïssé theorem for Banach spaces and apply it to obtain a computable presentation of the Gurarij Banach space.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-22","reactions":{}}