7 papers
Ultrapowers of spectral subspaces
Hiroshi Ando, Isaac Goldbring
We prove, for any W-probability space where is a type factor, any nontrivial, proper closed , and any nonprincipal ultrafilt…
Model theory and Connes' bicentralizer problem
Hiroshi Ando, Isaac Goldbring
We make a series of model-theoretic contributions to Connes' bicentralizer problem, one of the most prominent open problems in the theory of von Neumann algebras. Our work builds o…
A nonstandard approach to the direct integral version of the Spectral Theorem
Isaac Goldbring, Fabrice Nonez
We use nonstandard methods to prove the direct integral version of the Spectral Theorem for Unbounded Self-adjoint Operators. Our proof avoids the standard reduction to the case of…
Effective subfactor theory
Alec Fox, Isaac Goldbring
We characterize when a subfactor is oracle computable relative to a presentation of the ambient factor in terms of computability of the Jones basic construction,…
Back-and-forth equivalent group von Neumann algebras
Isaac Goldbring, Matthew Harrison-Trainor
We prove that if and are -back-and-forth equivalent groups (in the sense of computable structure theory) for some ordinal , then their group von Neumann algebra…
Computable Gelfand Duality
Peter Burton, Christopher J. Eagle, Alec Fox +5
We establish a computable version of Gelfand Duality. Under this computable duality, computably compact presentations of metrizable spaces uniformly effectively correspond to compu…
A non-uniformly inner amenable group
Isaac Goldbring
We provide an example of two elementarily equivalent countable ICC groups and such that is amenable and is not inner amenable. As a result, we provide the first exa…