Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Complexity of deep computations via topology of function spaces
Eduardo Dueñez, José Iovino, Tonatiuh Matos-Wiederhold +2
We use topological methods to study complexity of deep computations and limit computations. We use topology of function spaces, specifically, the classification Rosenthal compacta,…
math.LO2019
Metastable convergence and logical compactness
Xavier Caicedo, Eduardo Duenez, Jose Iovino
The concept of metastable convergence was identified by Tao;it allows converting theorems about convergence into stronger theorems about uniform convergence. The Uniform Metastabil…