2 citations · 3 across the 10 of their papers we have counts for
5 papers · 1 filter
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…
Locally universal C*-algebras with computable presentations
Alec Fox, Isaac Goldbring, Bradd Hart
The Kirchberg Embedding Problem (KEP) asks if every C*-algebra embeds into an ultrapower of the Cuntz algebra . In an effort to provide a negative solution to the KE…
Dividing and weak quasidimensions in arbitary theories
Isaac Goldbring, Henry Towsner
We show that any countable model of a model complete theory has an elementary extension with a "pseudofinite-like" quasidimension that detects dividing.
Independence relations in randomizations
Uri Andrews, Isaac Goldbring, H. Jerome Keisler
The randomization of a complete first order theory is the complete continuous theory with two sorts, a sort for random elements of models of , and a sort for events in…
Transseries and Todorov-Vernaeve's asymptotic fields
Matthias Aschenbrenner, Isaac Goldbring
We study the relationship between fields of transseries and residue fields of convex subrings of non-standard extensions of the real numbers. This was motivated by a question of To…