8 citations · 15 across the 6 of their papers we have counts for
5 papers · 1 filter
Classification of bipartite observables III: simplicity, mixtures and quantum error correction
Eduardo Dueñez, José Iovino
This is the third of a series of three papers that bring model theory to quantum information. The dividing lines of Shelah's classification theory, which separate the tame first-or…
Complexity of deep computations via topology of function spaces
Eduardo Dueñez, José Iovino, Tonatiuh Matos-Wiederhold +2
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…
Approximability of deep computations
Samson Alva, Eduardo Dueñez, Jose Iovino +1
This is the first of a series of papers in which we study deep computations (ultracomputations) and deep iterates, formalizing the ideas of "asymptotic limit" of computations and c…
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…
Model Theory and the mean ergodic theorem for abelian unitary actions
Eduardo Dueñez, José Iovino
We explore connections between von Neumann's mean ergodic theorem and concepts of model theory. As an application we present a proof Wiener's generalization of von Neumann's result…