Isaac Goldbring

activity

20232026

collaborators

Showing 2024Show all

3 papers · 1 filter

math.LO2024

Effective subfactor theory

Alec Fox, Isaac Goldbring

We characterize when a subfactor $N \subseteq M$ is oracle computable relative to a presentation of the ambient factor $M$ in terms of computability of the Jones basic construction,…

math.LO2024

Back-and-forth equivalent group von Neumann algebras

Isaac Goldbring, Matthew Harrison-Trainor

We prove that if $G$ and $H$ are $α$ -back-and-forth equivalent groups (in the sense of computable structure theory) for some ordinal $α \geq ω$ , then their group von Neumann algebra…

math.LO2024

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…