2 papers
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.LO2024
Uncountable sets and an infinite linear order game
Tonatiuh Matos-Wiederhold, Luciano Salvetti
An infinite game on the set of real numbers appeared in Matthew Baker's work [Math. Mag. 80 (2007), no. 5, pp. 377--380] in which he asks whether it can help characterize countable…