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,…