Title: Non-arithmetic algebraic constructions
by Chris Conidis (CUNY-College of Staten Island) as part of Computability theory and applications
Abstract
We examine two radical constructions, one from ring theory and another from module theory, and produce a computable ring for each construction where the corresponding radical is $Pi^1_1$-complete.