1 citations · 1 across the 10 of their papers we have counts for
12 papers
Computable -theory for C*-algebras II: AF algebras
Christopher J. Eagle, Isaac Goldbring, Timothy H. McNicholl
We continue the study of the effective content of -theory for C*-algebras, with a focus on AF algebras. We show that from a c.e. presentation of an AF algebra it is possible to…
Non-computability of -theory for computably presented C*-algebras
Christopher J. Eagle, Isaac Goldbring, Timothy H. McNicholl +1
We give an example of a unital C*-algebra with a computable presentation and for which neither nor has a computable presentation.
General real-valued theories with the Schröder-Bernstein property are stable
Alexander Berenstein, Nicolás Cuervo Ovalle, Isaac Goldbring
We show that every general theory à la Keisler with the Schröder-Bernstein property is stable. This generalizes the corresponding result from classical logic due to John Goodrick.…
On definability of C*-tensor norms
Isaac Goldbring, Thomas Sinclair
We initiate the study of definability (in the model-theoretic sense) of C*-tensor norms. We show that neither the minimal nor maximal tensor norms are definable uniformly over all…
Model theory of Hilbert spaces expanded by normal operators
Alexander Berenstein, Nicolás Cuervo Ovalle, Isaac Goldbring
We study expansions of Hilbert spaces with a bounded normal operator . We axiomatize this theory in a natural language and identify all of its completions. We prove the definabi…
Existentially closed measure-preserving actions of approximately treeable groups
Isaac Goldbring, Brandon Seward, Robin Tucker-Drob
Given a countable group , letting denote the class of {\pmp} actions of , we study the question of when the model companion of exists. Berenst…
Computable presentations of randomizations
Nicolás Cuervo Ovalle, Isaac Goldbring
We initiate the effective metric structure theory of Keisler randomizations. We show that a classical countable structure has a decidable presentation if and only if…
The Schröder-Bernstein property for operators on Hilbert spaces
Nicolás Cuervo Ovalle, Isaac Goldbring, Netanel Levi
We establish that the complete theory of a Hilbert space equipped with a normal operator has the Schröder-Bernstein property. This answers a question of Argoty, Berenstein, and the…
Totally Bounded Elements in W*-probability Spaces
Hiroshi Ando, Jananan Arulseelan, Isaac Goldbring +2
We introduce the notion of a totally (-) bounded element of a -probability space and, borrowing ideas of Kadison, give an intrinsic characterization of the -su…
Computable -theory for -algebras: UHF algebras
Christopher Eagle, Isaac Goldbring, Timothy McNicholl +1
We initiate the study of the effective content of -theory for -algebras. We prove that there are computable functors which associate, to a computably enumerable pr…
Computably strongly self-absorbing C*-algebras
Isaac Goldbring
We introduce the notion of a computably strongly self-absorbing C*-algebra and show that the following C*-algebras are computably strongly self-absorbing: the Cuntz algebras $\math…
Undecidability and incompleteness in quantum information theory and operator algebras
Isaac Goldbring
We survey a number of incompleteness results in operator algebras stemming from the recent undecidability result in quantum complexity theory known as $\operatorname{MIP}^*=\operat…