Russell Miller

collaborators

3 papers

math.OA2026

Non-computability of $K$ -theory for computably presented C*-algebras

Christopher J. Eagle, Isaac Goldbring, Timothy H. McNicholl +1

We give an example of a unital C*-algebra $A$ with a computable presentation and for which neither $K_{0} (A)$ nor $K_{1} (A)$ has a computable presentation.

math.LO2025

Computability for tree presentations of continuum-size structures

Jason Block, Russell Miller

We formalize an existing computability-theoretic method of presenting first-order structures whose domains have the cardinality of the continuum. Work using these methods until now…

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…

Non-computability of K-theory for computably presented C*-algebras

Computability for tree presentations of continuum-size structures

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

Non-computability of $K$ -theory for computably presented C*-algebras

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