User:IssaRice/Uniformity in computability theory