most citedComputability of 1-manifolds

23 citations · 23 across the 1 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2026

Uniform Computability of Isotypic Block Diagonalization for Finite-Group Representations

Konrad Burnik

We study the universal isotypic block-diagonalization problem in the Type-2 theory of effectivity (TTE). We obtain a uniform computability result for the universal block diagonaliz…