Effective subfactor theory

Computability 2026 Open access

Read full text
Authors: Alec Fox, Isaac Goldbring
DOI: 10.1177/22113568261468520
Cited by: 0
References: 14

Abstract

We show three natural approaches to defining when a subfactor N of a II 1 factor M is oracle computable relative to a presentation of M , namely in terms of the Jones basic construction, Pimsner–Popa bases, and the conditional expectation map, that are equivalent and thereby determine a robust notion of subfactor computability.

Fields of Study & Subjects

Phase Equilibria and Thermodynamics Advanced Physical and Chemical Molecular Interactions

Publication details

Journal / source
Computability
Publisher
SAGE Publications
Volume
15
Issue
3
Pages
238–251
Publication date
1 August 2026
Language
EN