Christopher J. Eagle

activity

20242026

collaborators

Showing math.LOShow all

2 papers · 1 filter

math.LO2026

The computable functional calculus

Christopher J. Eagle, Timothy H. McNicholl

We show that the continuous functional calculus is computable. As consequences we obtain the computable compactness of the spectrum of any computable normal element of a computably…

math.LO2025

Computable $K$ -theory for $C^{*}$ -algebras: UHF algebras

Christopher Eagle, Isaac Goldbring, Timothy McNicholl +1

We initiate the study of the effective content of $K$ -theory for $C^{*}$ -algebras. We prove that there are computable functors which associate, to a computably enumerable pr…

The computable functional calculus

Computable K-theory for C∗-algebras: UHF algebras

Computable $K$ -theory for $C^{*}$ -algebras: UHF algebras