{"id":"arxiv/2601.00528","url":"https://arxiv.org/abs/2601.00528","tags":["math.LO","math.GN"],"score":0,"title":"Complexity of deep computations via topology of function spaces","domain":"math.LO","source":"arxiv","authors":["Eduardo Dueñez","José Iovino","Tonatiuh Matos-Wiederhold","Luciano Salvetti","Franklin D. Tall"],"reviews":0,"subject":"math.LO","summary":"We bring Shelah's theory of independence and Todorčević's classification of Rosenthal compacta to bear on limits of computations beyond the continuous case. The first paper of this series characterized computability through continuous extendibility in a framework for floating-point computation. Limits of continuous computations may nevertheless be discontinuous, as familiar iterative algorithms demonstrate. We identify the regime in which these limits remain of the first Baire class and apply its structure theory to classify their complexity. For countably many real-valued features, and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-02","reactions":{}}