2 papers
math.LO2024
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,…
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…